Declarative Programming and Knowledge Management : Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers / / edited by Michael Hanus, Ricardo Rocha |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (X, 251 p. 51 illus.) |
Disciplina | 658.4038 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Computer programming Computers Computer science—Mathematics Artificial Intelligence Programming Techniques Theory of Computation Math Applications in Computer Science |
ISBN | 3-319-08909-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs -- Sharing and Exchanging Data -- Propositional Encoding of Constraints over Tree-Shaped Data -- On a High-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry -- On Axiomatic Rejection for the Description Logic ALC -- And Action! - Monoid Actions and (Pre)orders -- HEX-Programs with Existential Quantification -- Introducing Real Variables and Integer Objective Functions to Answer Set Programming -- Coverage Driven Test Generation and Consistency Algorithm -- A Datalog Engine for GPUs -- Towards Parallel Constraint-Based Local Search with the X10 Language -- Debate Games in Logic Programming -- A Descriptive Handling of Directly Con icting Rules in Preferred Answer Sets -- Some Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley -- Heuristic Search Over Program Transformations. |
Record Nr. | UNINA-9910483494903321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Functional and Constraint Logic Programming [[electronic resource] ] : 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers / / edited by Michael Hanus, Claudio Sacerdoti Coen |
Edizione | [1st ed. 2021.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
Descrizione fisica | 1 online resource (VII, 145 p. 30 illus., 10 illus. in color.) |
Disciplina | 005.115 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Computer programming Computers Machine theory Computer systems Computers, Special purpose Computer Science Logic and Foundations of Programming Programming Techniques Computer Hardware Formal Languages and Automata Theory Computer System Implementation Special Purpose and Application-Based Systems |
ISBN | 3-030-75333-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Programming Paradigms -- Implementation and Static Analysis -- Generating and Checking Exercises -- Constraint Programming. |
Record Nr. | UNISA-996464438503316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Functional and Constraint Logic Programming : 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers / / edited by Michael Hanus, Claudio Sacerdoti Coen |
Edizione | [1st ed. 2021.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
Descrizione fisica | 1 online resource (VII, 145 p. 30 illus., 10 illus. in color.) |
Disciplina | 005.115 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Computer programming Computers Machine theory Computer systems Computers, Special purpose Computer Science Logic and Foundations of Programming Programming Techniques Computer Hardware Formal Languages and Automata Theory Computer System Implementation Special Purpose and Application-Based Systems |
ISBN | 3-030-75333-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Programming Paradigms -- Implementation and Static Analysis -- Generating and Checking Exercises -- Constraint Programming. |
Record Nr. | UNINA-9910483216203321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Logic-Based Program Synthesis and Transformation [[electronic resource] ] : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers / / edited by Michael Hanus |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (IX, 185 p.) |
Disciplina | 005.1 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Software engineering
Computer programming Compilers (Computer programs) Computer science Machine theory Software Engineering Programming Techniques Compilers and Interpreters Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory |
ISBN | 3-642-00515-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Space Invading Systems Code -- Test Data Generation of Bytecode by CLP Partial Evaluation -- A Modular Equational Generalization Algorithm -- A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs -- Analysis of Linear Hybrid Systems in CLP -- Automatic Generation of Test Inputs for Mercury -- Analytical Inductive Functional Programming -- The MEB and CEB Static Analysis for CSP Specifications -- Fast Offline Partial Evaluation of Large Logic Programs -- An Inference Algorithm for Guaranteeing Safe Destruction -- From Monomorphic to Polymorphic Well-Typings and Beyond -- On Negative Unfolding in the Answer Set Semantics. |
Record Nr. | UNISA-996465895303316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Logic-Based Program Synthesis and Transformation : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers / / edited by Michael Hanus |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (IX, 185 p.) |
Disciplina | 005.1 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Software engineering
Computer programming Compilers (Computer programs) Computer science Machine theory Software Engineering Programming Techniques Compilers and Interpreters Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory |
ISBN | 3-642-00515-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Space Invading Systems Code -- Test Data Generation of Bytecode by CLP Partial Evaluation -- A Modular Equational Generalization Algorithm -- A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs -- Analysis of Linear Hybrid Systems in CLP -- Automatic Generation of Test Inputs for Mercury -- Analytical Inductive Functional Programming -- The MEB and CEB Static Analysis for CSP Specifications -- Fast Offline Partial Evaluation of Large Logic Programs -- An Inference Algorithm for Guaranteeing Safe Destruction -- From Monomorphic to Polymorphic Well-Typings and Beyond -- On Negative Unfolding in the Answer Set Semantics. |
Record Nr. | UNINA-9910484218303321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Practical aspects of declarative languages : 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023 : proceedings / / edited by Michael Hanus, Daniela Inclezan |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2023] |
Descrizione fisica | 1 online resource (328 pages) |
Disciplina | 733 |
Collana | Lecture Notes in Computer Science |
Soggetto topico | Declarative programming |
ISBN | 3-031-24841-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Functional Programming -- RICE: An Optimizing Curry -- Program Synthesis Using Example Propagation -- Embedding Functional Logic Programming in Haskell via a Compiler Plugin -- Execution Time Program Verification With Tight Bounds -- Fluo: A Domain-Specific Language for Experiments in Fluorescence Microscopy (Application Paper) -- Logic Programming -- Flexible Job-shop Scheduling for Semiconductor Manufacturing with Hybrid Answer Set Programming (Application Paper) -- Integrating ASP-based incremental reasoning in the videogame development workflow (Application Paper) -- Dynamic slicing of Reaction Systems based on assertions and monitors -- Multiple Query Satisfiability of Constrained Horn Clauses -- Formalizing and Reasoning about Supply Chain Contracts between Agents -- From Starvation Freedom to All-Path Reachability Problems in Constrained Rewriting -- SwitchLog: A Logic Programming Language for Network Switches -- Linear Algebraic Abduction with Partial Evaluation -- Using Hybrid Knowledge Bases for Meta-reasoning over OWL 2 QL -- Solving Vehicle Equipment Specification Problems with Answer Set Programming -- UAV Compliance Checking using Answer Set Programming and Minimal Explanations towards Compliance (Application Paper) -- Jury-trial Story Construction and Analysis using Goal-directed Answer Set Programming -- Pruning Redundancy in Answer Set Optimization Applied to Preventive Maintenance Scheduling -- Automatic Rollback Suggestions for Incremental Datalog Evaluation. . |
Record Nr. | UNINA-9910640391503321 |
Cham, Switzerland : , : Springer, , [2023] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Practical aspects of declarative languages : 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023 : proceedings / / edited by Michael Hanus, Daniela Inclezan |
Edizione | [1st ed. 2023.] |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2023] |
Descrizione fisica | 1 online resource (328 pages) |
Disciplina | 733 |
Collana | Lecture Notes in Computer Science |
Soggetto topico | Declarative programming |
ISBN | 3-031-24841-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Functional Programming -- RICE: An Optimizing Curry -- Program Synthesis Using Example Propagation -- Embedding Functional Logic Programming in Haskell via a Compiler Plugin -- Execution Time Program Verification With Tight Bounds -- Fluo: A Domain-Specific Language for Experiments in Fluorescence Microscopy (Application Paper) -- Logic Programming -- Flexible Job-shop Scheduling for Semiconductor Manufacturing with Hybrid Answer Set Programming (Application Paper) -- Integrating ASP-based incremental reasoning in the videogame development workflow (Application Paper) -- Dynamic slicing of Reaction Systems based on assertions and monitors -- Multiple Query Satisfiability of Constrained Horn Clauses -- Formalizing and Reasoning about Supply Chain Contracts between Agents -- From Starvation Freedom to All-Path Reachability Problems in Constrained Rewriting -- SwitchLog: A Logic Programming Language for Network Switches -- Linear Algebraic Abduction with Partial Evaluation -- Using Hybrid Knowledge Bases for Meta-reasoning over OWL 2 QL -- Solving Vehicle Equipment Specification Problems with Answer Set Programming -- UAV Compliance Checking using Answer Set Programming and Minimal Explanations towards Compliance (Application Paper) -- Jury-trial Story Construction and Analysis using Goal-directed Answer Set Programming -- Pruning Redundancy in Answer Set Optimization Applied to Preventive Maintenance Scheduling -- Automatic Rollback Suggestions for Incremental Datalog Evaluation. . |
Record Nr. | UNISA-996508672003316 |
Cham, Switzerland : , : Springer, , [2023] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|