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.
Logic Based Program Synthesis and Transformation [[electronic resource] ] : 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers / / edited by Alberto Pettorossi
| Logic Based Program Synthesis and Transformation [[electronic resource] ] : 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers / / edited by Alberto Pettorossi |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (VIII, 272 p.) |
| Disciplina | 005.1/5 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Architecture, Computer Computer logic Computer programming Artificial intelligence Mathematical logic Software Engineering/Programming and Operating Systems Computer System Implementation Logics and Meanings of Programs Programming Techniques Artificial Intelligence Mathematical Logic and Formal Languages |
| ISBN | 3-540-45607-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Speaker -- Static Analysis for Safe Destructive Updates in a Functional Language -- Program Transformation and Equivalence -- A Transformation Technique for Datalog Programs Based on Non-deterministic Constructs -- On Deforesting Parameters of Accumulating Maps -- Equivalence in Answer Set Programming -- Program Verificaion -- Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols -- Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking -- Verification of Sets of Infinite State Processes Using Program Transformation -- Program Analysis -- When Size Does Matter -- Symbolic Profiling for Multi-paradigm Declarative Languages -- Program Development -- Correct Object-Oriented Systems in Computational Logic -- A Framework for Developing Embeddable Customized Logics -- Computing Environment-Aware Agent Behaviours with Logic Program Updates -- Program Synthesis -- Extracting General Recursive Program Schemes in Nuprl’s Type Theory -- Extracting Exact Time Bounds from Logical Proofs. |
| Record Nr. | UNISA-996466348703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic Based Program Synthesis and Transformation : 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers / / edited by Alberto Pettorossi
| Logic Based Program Synthesis and Transformation : 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers / / edited by Alberto Pettorossi |
| Edizione | [1st ed. 2002.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
| Descrizione fisica | 1 online resource (VIII, 272 p.) |
| Disciplina | 005.1/5 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Architecture, Computer Computer logic Computer programming Artificial intelligence Mathematical logic Software Engineering/Programming and Operating Systems Computer System Implementation Logics and Meanings of Programs Programming Techniques Artificial Intelligence Mathematical Logic and Formal Languages |
| ISBN | 3-540-45607-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Speaker -- Static Analysis for Safe Destructive Updates in a Functional Language -- Program Transformation and Equivalence -- A Transformation Technique for Datalog Programs Based on Non-deterministic Constructs -- On Deforesting Parameters of Accumulating Maps -- Equivalence in Answer Set Programming -- Program Verificaion -- Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols -- Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking -- Verification of Sets of Infinite State Processes Using Program Transformation -- Program Analysis -- When Size Does Matter -- Symbolic Profiling for Multi-paradigm Declarative Languages -- Program Development -- Correct Object-Oriented Systems in Computational Logic -- A Framework for Developing Embeddable Customized Logics -- Computing Environment-Aware Agent Behaviours with Logic Program Updates -- Program Synthesis -- Extracting General Recursive Program Schemes in Nuprl’s Type Theory -- Extracting Exact Time Bounds from Logical Proofs. |
| Record Nr. | UNINA-9910143874403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Meta-Programming in Logic [[electronic resource] ] : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings / / edited by Alberto Pettorossi
| Meta-Programming in Logic [[electronic resource] ] : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992. Proceedings / / edited by Alberto Pettorossi |
| Edizione | [1st ed. 1992.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1992 |
| Descrizione fisica | 1 online resource (XII, 351 p.) |
| Disciplina | 005.13/1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Software engineering Mathematical logic Artificial intelligence Theory of Computation Software Engineering/Programming and Operating Systems Mathematical Logic and Foundations Mathematical Logic and Formal Languages Artificial Intelligence |
| ISBN | 3-540-47505-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Belief revision: A vade-mecum -- Metaprogramming through intensional deduction: Some examples -- An autoepistemic analysis of metalevel reasoning in logic programming -- An introduction to partial deduction -- Tutorial on termination of logic programs -- Definable naming relations in meta-level systems -- Meta for modularising logic programming -- Compiler optimizations for low-level redundancy elimination: An application of meta-level prolog primitives -- Reflective agents in metalogic programming -- Logic meta-programming facilities in 'LOG -- The Pandora deadlock handler meta-level relation -- Object-oriented programming in Gödel: An experiment -- A sensible least Herbrand semantics for untyped vanilla meta-programming and its extension to a limited form of amalgamation -- A complete resolution method for logical meta-programming languages -- Model theoretic semantics for Demo -- Hierarchical meta-logics: Intuitions, proof theory and semantics -- Negation and control in automatically generated logic programs -- Transforming normal programs by replacement -- Meta-programming for reordering literals in deductive databases -- Propagation: a new operation in a framework for abstract interpretation of logic programs -- CLP({ie308-01}) for proving interargument relations -- Representation of fragmentary multilayered knowledge -- Metaprograms for change, assumptions, objects, and inheritance. |
| Record Nr. | UNISA-996466087403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||