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] ] : 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers / / edited by Maurizio Proietti, Hirohisa Seki
| Logic-Based Program Synthesis and Transformation [[electronic resource] ] : 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers / / edited by Maurizio Proietti, Hirohisa Seki |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XII, 333 p. 61 illus.) |
| Disciplina | 005.115 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Machine theory Artificial intelligence Computer science—Mathematics Discrete mathematics Computer Science Logic and Foundations of Programming Software Engineering Formal Languages and Automata Theory Artificial Intelligence Discrete Mathematics in Computer Science |
| ISBN | 3-319-17822-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Obscuring Code: Unveiling and Veiling Information in Programs -- Synthesizing Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating programs by program transformation -- Analysing and Compiling Coroutines with Abstract Conjunctive Partial Deduction -- Constraint Handling Rules -- Confluence Modulo Equivalence in Constraint Handling Rules -- Exhaustive Execution of CHR through Source-to-Source Transformation -- A Formal Semantics for the Cognitive Architecture ACT-R -- CHRAnimation: An Animation Tool for Constraint Handling Rules -- Termination Analysis -- Extending the 2D Dependency Pair Framework for Conditional Term Rewriting Systems -- Security.-Partial Evaluation for Java Malware Detection -- Access control and obligations in the category-based metamodel: a rewritebased Semantics -- Program Testing and Verification.-Concolic Execution and Test-Case Generation in Prolog -- Liveness properties in CafeOBJ-a case study for meta-level specifications -- Program Synthesis -- A Hybrid Method for the Verification and Synthesis of Parameterized Self-Stabilizing Protocols -- Drill & Join: A method for inductive program synthesis -- Program Derivation -- Functional Kleene Closures -- Semantic Issues in Logic Programming -- On completeness of logic programs -- Polynomial Approximation to Well-Founded Semantics for Logic Programs with Generalized Atoms: Case Studies -- Program Transformation and Optimization -- Declarative Compilation for Constraint Logic Programming -- Pre-indexed Terms for Prolog. |
| Record Nr. | UNISA-996207294803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic-Based Program Synthesis and Transformation : 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers / / edited by Maurizio Proietti, Hirohisa Seki
| Logic-Based Program Synthesis and Transformation : 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers / / edited by Maurizio Proietti, Hirohisa Seki |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (XII, 333 p. 61 illus.) |
| Disciplina | 005.115 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Machine theory Artificial intelligence Computer science—Mathematics Discrete mathematics Computer Science Logic and Foundations of Programming Software Engineering Formal Languages and Automata Theory Artificial Intelligence Discrete Mathematics in Computer Science |
| ISBN | 3-319-17822-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Obscuring Code: Unveiling and Veiling Information in Programs -- Synthesizing Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating programs by program transformation -- Analysing and Compiling Coroutines with Abstract Conjunctive Partial Deduction -- Constraint Handling Rules -- Confluence Modulo Equivalence in Constraint Handling Rules -- Exhaustive Execution of CHR through Source-to-Source Transformation -- A Formal Semantics for the Cognitive Architecture ACT-R -- CHRAnimation: An Animation Tool for Constraint Handling Rules -- Termination Analysis -- Extending the 2D Dependency Pair Framework for Conditional Term Rewriting Systems -- Security.-Partial Evaluation for Java Malware Detection -- Access control and obligations in the category-based metamodel: a rewritebased Semantics -- Program Testing and Verification.-Concolic Execution and Test-Case Generation in Prolog -- Liveness properties in CafeOBJ-a case study for meta-level specifications -- Program Synthesis -- A Hybrid Method for the Verification and Synthesis of Parameterized Self-Stabilizing Protocols -- Drill & Join: A method for inductive program synthesis -- Program Derivation -- Functional Kleene Closures -- Semantic Issues in Logic Programming -- On completeness of logic programs -- Polynomial Approximation to Well-Founded Semantics for Logic Programs with Generalized Atoms: Case Studies -- Program Transformation and Optimization -- Declarative Compilation for Constraint Logic Programming -- Pre-indexed Terms for Prolog. |
| Record Nr. | UNINA-9910483921103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||