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.
A 25-Year Perspective on Logic Programming [[electronic resource] ] : Achievements of the Italian Association for Logic Programming, GULP / / edited by Agostino Dovier, Enrico Pontelli
| A 25-Year Perspective on Logic Programming [[electronic resource] ] : Achievements of the Italian Association for Logic Programming, GULP / / edited by Agostino Dovier, Enrico Pontelli |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XIV, 329 p. 21 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Mathematical logic Computer logic Computer programming Computer science—Mathematics Computers Software Engineering/Programming and Operating Systems Mathematical Logic and Formal Languages Logics and Meanings of Programs Programming Techniques Mathematics of Computing Theory of Computation |
| ISBN |
1-280-38788-2
9786613565808 3-642-14309-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Twenty-Five Years of Logic Programming in Italy -- Logic Programming in Italy: A Historical Perspective -- Theoretical Foundations and Semantics of Logic Programming -- Theory-Specific Automated Reasoning -- Constraint Logic Programming -- Knowledge Representation and Non-monotonic Reasoning -- The Transformational Approach to Program Development -- Static Analysis, Abstract Interpretation and Verification in (Constraint Logic) Programming -- Answer Set Programming -- Logic Programming Languages for Databases and the Web -- Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How? -- Concurrent and Reactive Constraint Programming -- Proof-Theoretic and Higher-Order Extensions of Logic Programming -- Transformation and Debugging of Functional Logic Programs -- 25 Years of Applications of Logic Programming in Italy. |
| Record Nr. | UNISA-996465635203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Practical Aspects of Declarative Languages [[electronic resource] ] : 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings / / edited by Enrico Pontelli, Tran Cao Son
| Practical Aspects of Declarative Languages [[electronic resource] ] : 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings / / edited by Enrico Pontelli, Tran Cao Son |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (X, 149 p. 29 illus.) |
| Disciplina | 005.13 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Programming languages (Electronic computers)
Computer programming Computer logic Software engineering Programming Languages, Compilers, Interpreters Programming Techniques Logics and Meanings of Programs Software Engineering |
| ISBN | 3-319-19686-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Ontology-Driven Data Semantics Discovery for Cyber-Security -- State Space Planning Using Transaction Logic -- On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule -- Declaratively Solving Google Code Jam Problems with Picat -- Reactive Single-Page Applications with Dynamic Dataflow -- CHR(Curry): Interpretation and Compilation of Constraint Handling Rules in Curry -- Implementation and Performance of Probabilistic Inference -- A Haskell Implementation of a Rule-Based Program Transformation for C Programs -- On Logic Programming Representations of Lambda Terms: de Bruijn Indices, Compression, Type Inference, Combinatorial Generation, Normalization -- Programming Microcontrollers in OCaml: the OCaPICProject. |
| Record Nr. | UNISA-996200005203316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Practical Aspects of Declarative Languages : 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings / / edited by Enrico Pontelli, Tran Cao Son
| Practical Aspects of Declarative Languages : 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings / / edited by Enrico Pontelli, Tran Cao Son |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (X, 149 p. 29 illus.) |
| Disciplina | 005.13 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Programming languages (Electronic computers)
Computer programming Computer logic Software engineering Programming Languages, Compilers, Interpreters Programming Techniques Logics and Meanings of Programs Software Engineering |
| ISBN | 3-319-19686-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Ontology-Driven Data Semantics Discovery for Cyber-Security -- State Space Planning Using Transaction Logic -- On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule -- Declaratively Solving Google Code Jam Problems with Picat -- Reactive Single-Page Applications with Dynamic Dataflow -- CHR(Curry): Interpretation and Compilation of Constraint Handling Rules in Curry -- Implementation and Performance of Probabilistic Inference -- A Haskell Implementation of a Rule-Based Program Transformation for C Programs -- On Logic Programming Representations of Lambda Terms: de Bruijn Indices, Compression, Type Inference, Combinatorial Generation, Normalization -- Programming Microcontrollers in OCaml: the OCaPICProject. |
| Record Nr. | UNINA-9910484585303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Practical Aspects of Declarative Languages [[electronic resource] ] : Second International Workshop, PADL 2000 Boston, MA, USA, January 17-18, 2000. Proceedings / / edited by Enrico Pontelli, Santos C. Vitor
| Practical Aspects of Declarative Languages [[electronic resource] ] : Second International Workshop, PADL 2000 Boston, MA, USA, January 17-18, 2000. Proceedings / / edited by Enrico Pontelli, Santos C. Vitor |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (XII, 323 p.) |
| Disciplina | 005.13/1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Programming languages (Electronic computers) Computer programming Computer logic Software engineering Artificial intelligence Theory of Computation Programming Languages, Compilers, Interpreters Programming Techniques Logics and Meanings of Programs Software Engineering Artificial Intelligence |
| ISBN | 3-540-46584-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Functional Programming -- First Class Patterns? -- Parallel Functional Reactive Programming -- Out-of-Core Functional Programming with Type-Based Primitives -- Functional-Logic Programming -- A Functional Logic Programming Approach to Graphical User Interfaces -- Using Static Analysis to Compile Non-sequential Functional Logic Programs? -- Logic Programming -- GNU Prolog: Beyond Compiling Prolog to C -- Heap Garbage Collection in XSB: Practice and Experience -- Implementation of a Linear Tabling Mechanism -- How to Incorporate Negation in a Prolog Compiler? -- Innovative Applications I -- A Logic-Based Information System -- HIPPO — A Declarative Graphical Modelling System -- Calculating a New Data Mining Algorithm for -- Constraint Programming and Constraint Solving -- A Toolkit for Constraint-Based Inference Engines -- CLIP: A CLP(Intervals) Dialect for Metalevel Constraint Solving -- Programming Deep Concurrent Constraint Combinators -- Labeling and Partial Local Consistency for Soft Constraint Programming -- Systems Applications -- Transformation-by-Example for XML -- Modeling HTML in Haskell -- A Logic Programming Approach to Supporting the Entries of XML Documents in an Object Database -- Innovative Applications II -- A Hybrid Approach for Solving Large Scale Crew Scheduling Problems -- Knowledgesheet: A Graphical Spreadsheet Interface for Interactively Developing a Class of Constraint Programs -- Invited Talks -- Current Trends in Logic Programming: Prospects and Promises (Abstract) -- Production-Quality Proof-Carrying Code (Abstract). |
| Record Nr. | UNISA-996465591303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Practical Aspects of Declarative Languages : Second International Workshop, PADL 2000 Boston, MA, USA, January 17-18, 2000. Proceedings / / edited by Enrico Pontelli, Santos C. Vitor
| Practical Aspects of Declarative Languages : Second International Workshop, PADL 2000 Boston, MA, USA, January 17-18, 2000. Proceedings / / edited by Enrico Pontelli, Santos C. Vitor |
| Edizione | [1st ed. 2000.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
| Descrizione fisica | 1 online resource (XII, 323 p.) |
| Disciplina | 005.13/1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Programming languages (Electronic computers) Computer programming Computer logic Software engineering Artificial intelligence Theory of Computation Programming Languages, Compilers, Interpreters Programming Techniques Logics and Meanings of Programs Software Engineering Artificial Intelligence |
| ISBN | 3-540-46584-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Functional Programming -- First Class Patterns? -- Parallel Functional Reactive Programming -- Out-of-Core Functional Programming with Type-Based Primitives -- Functional-Logic Programming -- A Functional Logic Programming Approach to Graphical User Interfaces -- Using Static Analysis to Compile Non-sequential Functional Logic Programs? -- Logic Programming -- GNU Prolog: Beyond Compiling Prolog to C -- Heap Garbage Collection in XSB: Practice and Experience -- Implementation of a Linear Tabling Mechanism -- How to Incorporate Negation in a Prolog Compiler? -- Innovative Applications I -- A Logic-Based Information System -- HIPPO — A Declarative Graphical Modelling System -- Calculating a New Data Mining Algorithm for -- Constraint Programming and Constraint Solving -- A Toolkit for Constraint-Based Inference Engines -- CLIP: A CLP(Intervals) Dialect for Metalevel Constraint Solving -- Programming Deep Concurrent Constraint Combinators -- Labeling and Partial Local Consistency for Soft Constraint Programming -- Systems Applications -- Transformation-by-Example for XML -- Modeling HTML in Haskell -- A Logic Programming Approach to Supporting the Entries of XML Documents in an Object Database -- Innovative Applications II -- A Hybrid Approach for Solving Large Scale Crew Scheduling Problems -- Knowledgesheet: A Graphical Spreadsheet Interface for Interactively Developing a Class of Constraint Programs -- Invited Talks -- Current Trends in Logic Programming: Prospects and Promises (Abstract) -- Production-Quality Proof-Carrying Code (Abstract). |
| Record Nr. | UNINA-9910143640103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||