Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Analysis and Visualization Tools for Constraint Programming [[electronic resource] ] : Constraint Debugging / / edited by Pierre Deransart, M.V. Hermenegildo, J. Maluszynski
| 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 : Constraint Debugging / / edited by Pierre Deransart, M.V. Hermenegildo, J. Maluszynski
| Analysis and Visualization Tools for Constraint Programming : 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 | ||
| ||
Attribute Grammars and their Applications [[electronic resource] ] : International Conference, Paris, France, September 19-21, 1990 / / edited by Pierre Deransart, Martin Jourdan
| Attribute Grammars and their Applications [[electronic resource] ] : International Conference, Paris, France, September 19-21, 1990 / / edited by Pierre Deransart, Martin Jourdan |
| Edizione | [1st ed. 1990.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1990 |
| Descrizione fisica | 1 online resource (VIII, 361 p.) |
| Disciplina | 005.13 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Natural language processing (Computer science)
Mathematical logic Programming languages (Electronic computers) Computer programming Software engineering Computer science—Mathematics Natural Language Processing (NLP) Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Programming Techniques Software Engineering Symbolic and Algebraic Manipulation |
| ISBN | 3-540-46666-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The genesis of attribute grammars -- The hierarchy of LR-attributed grammars -- Space optimization in the FNC-2 attribute grammar system -- Counting polyominoes using attribute grammars -- Parallel attribute evaluation: structure of evaluators and detection of paralleism -- Parallel one-pass compilation -- Attribute grammar applications in prototyping LOTOS tools -- Rapid development of a program transformation system with attribute grammars and dynamic transformations -- Tree transformations, functional languages, and attribute grammars -- The project on Extended Affix Grammars at Nijmegen -- Abstract interpretation using attribute grammars -- Functional evaluation of strongly non circular typol specifications -- Object oriented extension of attribute grammars and its implementation using distributed attribute evaluation algorithm -- Incremental attribute evaluation for multiple subtree replacements in structure-oriented environments -- Coordinated incremental attribute evaluation on a DR-threaded tree -- The OLGA attribute grammar description language: Design, implementation and evaluation -- The Elegant compiler generator system -- Use of attribute grammars in compiler construction -- An OPTRAN-generated front-end for Ada -- Attributed translation and the semantics of natural language -- Application of attribute grammars to natural language sentence generation -- Attribute grammar specification for a natural language understanding interface -- Globally partitionable attribute grammars -- Concurrent incremental attribute evaluation. |
| Altri titoli varianti | Proceedings |
| Record Nr. | UNISA-996465576803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Programming Language Implementation and Logic Programming [[electronic resource] ] : International Workshop PLILP `90, Linköping, Sweden, August 20-22, 1990. Proceedings / / edited by Pierre Deransart, Jan Maluszynski
| Programming Language Implementation and Logic Programming [[electronic resource] ] : International Workshop PLILP `90, Linköping, Sweden, August 20-22, 1990. Proceedings / / edited by Pierre Deransart, Jan Maluszynski |
| Edizione | [1st ed. 1990.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1990 |
| Descrizione fisica | 1 online resource (VII, 542 p.) |
| Disciplina | 005.13 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Programming languages (Electronic computers) Mathematical logic Artificial intelligence Computer logic Computer programming Theory of Computation Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages Artificial Intelligence Logics and Meanings of Programs Programming Techniques |
| ISBN | 3-540-46298-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Implementing parallel rewriting -- Compilation of narrowing -- Inference-based overloading resolution for ADA -- An approach to verifiable compiling specification and prototyping -- Bug localization by algorithmic debugging and program slicing -- A constraint logic programming shell -- Modifying the simplex algorithm to a constraint solver -- Implementing a meta-logical scheme -- The vienna abstract machine -- A new data structure for implementing extensions to Prolog -- Finding the least fixed point using wait-declarations in Prolog -- Elementary logic programs -- A new presburger arithmetic decision procedure based on extended prolog execution -- Reasoning about programs with effects -- Towards a characterization of termination of logic programs -- Static type analysis of prolog procedures for ensuring correctness -- Integrating strict and lazy evaluation: the ?sl-calculus -- Efficient data representation in polymorphic languages -- A logic-based approach to data flow analysis problems -- Systematic semantic approximations of logic programs -- Interprocedural abstract interpretation of block structured languages with nested procedures, aliasing and recursivity -- On the automatic generation of events in delta prolog -- Compilation of non-linear, second order patterns on S-expressions -- Pattern matching in a functional transformation language using treeparsing -- Logic programming within a functional framework -- Compiling logic programs with equality. |
| Record Nr. | UNISA-996465858703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Programming Languages Implementation and Logic Programming [[electronic resource] ] : International Workshop PLILP '88, Orleans, France, May 16-18, 1988. Proceedings / / edited by Pierre Deransart, Bernard Lorho, Jan Maluszynski
| Programming Languages Implementation and Logic Programming [[electronic resource] ] : International Workshop PLILP '88, Orleans, France, May 16-18, 1988. Proceedings / / edited by Pierre Deransart, Bernard Lorho, Jan Maluszynski |
| Edizione | [1st ed. 1989.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1989 |
| Descrizione fisica | 1 online resource (VIII, 308 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Architecture, Computer Programming languages (Electronic computers) Artificial intelligence Computer logic Computer programming Software Engineering/Programming and Operating Systems Computer System Implementation Programming Languages, Compilers, Interpreters Artificial Intelligence Logics and Meanings of Programs Programming Techniques |
| ISBN | 3-540-46092-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Static analysis of functional programs with logical variables -- Towards a clean amalgamation of logic programs with external procedures -- An application of abstract interpretation in source level program transformation -- A tool to check the non-floundering logic programs and goals -- Towards a framework for the abstract interpretation of logic programs -- An implementation of retargetable code generators in prolog -- Towards a "middle road" methodology for writing code generators -- A compiler written in prolog: the véda experience -- Coupled context-free grammar as a programming paradigm -- A bottom-up adaptation of earley's parsing algorithm -- Using an attribute grammar as a logic program -- Structure sharing in attribute grammars -- A semantic evaluator generating system in prolog -- A grammatical view of logic programming -- Compiling typol with attribute grammars -- Formal specification of a prolog compiler -- Formal specification of interactive languages using definite clause grammars -- Using logic databases in software development environments. |
| Record Nr. | UNISA-996465317203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||