2008 IEEE Conference on Soft Computing in Industrial Applications |
Pubbl/distr/stampa | [Place of publication not identified], : I E E E, 2008 |
Disciplina | 005.1/1 |
ISBN |
1-5090-7715-4
4-9904259-0-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996214017003316 |
[Place of publication not identified], : I E E E, 2008 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
2008 IEEE Conference on Soft Computing in Industrial Applications |
Pubbl/distr/stampa | [Place of publication not identified], : I E E E, 2008 |
Disciplina | 005.1/1 |
ISBN |
1-5090-7715-4
4-9904259-0-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910145412403321 |
[Place of publication not identified], : I E E E, 2008 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Advanced Functional Programming [[electronic resource] ] : Second International School, Olympia, WA, USA, August 26 - 30, 1996, Tutorial Text / / edited by John Launchbury, Erik Meijer, Tim Sheard |
Edizione | [1st ed. 1996.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 |
Descrizione fisica | 1 online resource (VIII, 244 p.) |
Disciplina | 005.1/1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computer programming
Software engineering Programming languages (Electronic computers) Programming Techniques Software Engineering Programming Languages, Compilers, Interpreters |
ISBN | 3-540-70639-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Composing the user interface with Haggis -- Haskore music tutorial -- Polytypic programming -- Implementing threads in Standard ML -- Functional data structures -- Heap profiling for space efficiency -- Deterministic, error-correcting combinator parsers -- Essentials of Standard ML Modules. |
Record Nr. | UNISA-996465649203316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Analysis and Visualization Tools for Constraint Programming [[electronic resource] ] : Constraint Debugging / / edited by Pierre Deransart, M.V. Hermenegildo, J. Maluszynski |
Edizione | [1st ed. 2000.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
Descrizione fisica | 1 online resource (XXII, 370 p.) |
Disciplina | 005.1/1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Programming languages (Electronic computers)
Computer programming Software engineering Artificial intelligence Mathematical logic Programming Languages, Compilers, Interpreters Programming Techniques Software Engineering Artificial Intelligence Mathematical Logic and Formal Languages |
ISBN | 3-540-40016-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Debugging of Constraint Programs: The DiSCiPl Methodology and Tools -- Debugging of Constraint Programs: The DiSCiPl Methodology and Tools -- I. Correctness Debugging -- An Assertion Language for Constraint Logic Programs -- A Generic Preprocessor for Program Validation and Debugging -- Assertions with Constraints for CLP Debugging -- Locating Type Errors in Untyped CLP Programs -- Declarative Diagnosis in the CLP Scheme -- II. Performance Debugging -- Visual Tools to Debug Prolog IV Programs -- Search-Tree Visualisation -- Towards a Language for CLP Choice-Tree Visualisation -- Tools for Search-Tree Visualisation: The APT Tool -- Tools for Constraint Visualisation: The VIFID/TRIFID Tool -- Debugging Constraint Programs by Store Inspection -- Complex Constraint Abstraction: Global Constraint Visualisation -- III. Test Cases -- Using Constraint Visualisation Tools. |
Record Nr. | UNISA-996465946803316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Analysis and Visualization Tools for Constraint Programming [[electronic resource] ] : Constraint Debugging / / edited by Pierre Deransart, M.V. Hermenegildo, J. Maluszynski |
Edizione | [1st ed. 2000.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
Descrizione fisica | 1 online resource (XXII, 370 p.) |
Disciplina | 005.1/1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Programming languages (Electronic computers)
Computer programming Software engineering Artificial intelligence Mathematical logic Programming Languages, Compilers, Interpreters Programming Techniques Software Engineering Artificial Intelligence Mathematical Logic and Formal Languages |
ISBN | 3-540-40016-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Debugging of Constraint Programs: The DiSCiPl Methodology and Tools -- Debugging of Constraint Programs: The DiSCiPl Methodology and Tools -- I. Correctness Debugging -- An Assertion Language for Constraint Logic Programs -- A Generic Preprocessor for Program Validation and Debugging -- Assertions with Constraints for CLP Debugging -- Locating Type Errors in Untyped CLP Programs -- Declarative Diagnosis in the CLP Scheme -- II. Performance Debugging -- Visual Tools to Debug Prolog IV Programs -- Search-Tree Visualisation -- Towards a Language for CLP Choice-Tree Visualisation -- Tools for Search-Tree Visualisation: The APT Tool -- Tools for Constraint Visualisation: The VIFID/TRIFID Tool -- Debugging Constraint Programs by Store Inspection -- Complex Constraint Abstraction: Global Constraint Visualisation -- III. Test Cases -- Using Constraint Visualisation Tools. |
Record Nr. | UNINA-9910767559703321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Constraint Programming: Basics and Trends [[electronic resource] ] : 1994 Chatillon Spring School, Chatillon-sur-Seine, France, May 16 - 20, 1994. Selected Papers / / edited by Andreas Podelski |
Edizione | [1st ed. 1995.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 |
Descrizione fisica | 1 online resource (XIII, 323 p.) |
Disciplina | 005.1/1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Computer programming Programming languages (Electronic computers) Artificial intelligence Software Engineering/Programming and Operating Systems Programming Techniques Programming Languages, Compilers, Interpreters Artificial Intelligence |
ISBN | 3-540-49200-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Interval constraint logic programming -- Solving pseudo-Boolean constraints -- Enhancing the constraint-solving power of clp(FD) by means of path-consistency methods -- Constraints in term algebras an overview of constraint solving techniques -- Constructive negation by pruning and optimization higher-order predicates for CLP and CC languages -- Constraint handling rules -- Linear constraint solving in CLP-Languages -- On the use of constraints in automated deduction -- Abstract interpretation and finite domain symbolic constraints -- Concurrency and Concurrent Constraint Programming -- Toupie: A constraint language for model checking -- Imagining CLP(?,???) -- An architecture for cooperating constraint solvers on reals -- The definition of Kernel Oz -- Design, implementation, and evaluation of the constraint language cc(FD). |
Record Nr. | UNISA-996466119403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1995 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
ECOOP '92, European Conference on Object-Oriented Programming, Utrecht, The Netherlands, June 29-July 3, 1992 : : proceedings / / O. Lehrmann Madsen, (ed.) |
Pubbl/distr/stampa | Springer Berlin Heidelberg |
Disciplina | 005.1/1 |
Altri autori (Persone) | MadsenOle Lehrmann |
Soggetto topico | Object-oriented programming (Computer science) |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | ECOOP '92 European Conference on Object-Oriented Programming |
Record Nr. | UNISA-996465819103316 |
Springer Berlin Heidelberg | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
ECOOP '93, object-oriented programming, 7th European conference, Kaiserslautern, Germany, July 26-30, 1993 : proceedings / / Oscar M. Nierstrasz, ed |
Pubbl/distr/stampa | Springer Berlin Heidelberg |
Disciplina | 005.1/1 |
Altri autori (Persone) | NierstraszOscar Marius |
Soggetto topico | Object-oriented programming (Computer science) |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465817603316 |
Springer Berlin Heidelberg | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
ECOOP '96, object-oriented programming : 10th European conference, Linz, Austria, July 1996 : proceedings / / Pierre Cointe, ed |
Pubbl/distr/stampa | Springer Berlin Heidelberg |
Disciplina | 005.1/1 |
Altri autori (Persone) | CointePierre |
Soggetto topico | Object-oriented programming (Computer science) |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465828603316 |
Springer Berlin Heidelberg | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
ECOOP 2004 - Object-Oriented Programming [[electronic resource] ] : 18th European Conference, Oslo, Norway, June 14-18, 2004, Proceedings / / edited by Martin Odersky |
Edizione | [1st ed. 2004.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
Descrizione fisica | 1 online resource (XIV, 614 p.) |
Disciplina | 005.1/1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computer programming
Software engineering Programming languages (Electronic computers) Computer logic Computer communication systems Computers and civilization Programming Techniques Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Computer Communication Networks Computers and Society |
ISBN |
1-280-30810-9
9786610308101 3-540-24851-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Encapsulation -- Ownership Domains: Separating Aliasing Policy from Mechanism -- Composable Encapsulation Policies -- Program Analysis -- Demand-Driven Type Inference with Subgoal Pruning: Trading Precision for Scalability -- Efficiently Verifiable Escape Analysis -- Pointer Analysis in the Presence of Dynamic Class Loading -- Software Engineering -- The Expression Problem Revisited -- Rewritable Reference Attributed Grammars -- Finding and Removing Performance Bottlenecks in Large Systems -- Aspects -- Programming with Crosscutting Effective Views -- AspectJ2EE = AOP + J2EE -- Use Case Level Pointcuts -- Invited Talk 1 -- Functional Objects -- Middleware -- Inheritance-Inspired Interface Versioning for CORBA -- A Middleware Framework for the Persistence and Querying of Java Objects -- Sequential Object Monitors -- Increasing Concurrency in Databases Using Program Analysis -- Types -- Semantic Casts: Contracts and Structural Subtyping in a Nominal World -- LOOJ: Weaving LOOM into Java -- Modules with Interfaces for Dynamic Linking and Communication -- Verification -- Early Identification of Incompatibilities in Multi-component Upgrades -- Typestates for Objects -- Object Invariants in Dynamic Contexts -- Invited Talk 2 -- Rich Interfaces for Software Modules -- Systems -- Transactional Monitors for Concurrent Objects -- Adaptive Tuning of Reserved Space in an Appel Collector -- Lock Reservation for Java Reconsidered -- Customization of Java Library Classes Using Type Constraints and Profile Information. |
Record Nr. | UNINA-9910144154403321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|