Logic-Based Program Synthesis and Transformation [electronic resource] : 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers / edited by Danny De Schreye.
Series: Lecture Notes in Computer Science ; 6037Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Description: X, 205 p. 29 illus. online resourceContent type:- text
- computer
- online resource
- 9783642125928
- Computer science
- Software engineering
- Computer programming
- Programming languages (Electronic computers)
- Computer logic
- Mathematical logic
- Artificial intelligence
- Computer Science
- Programming Techniques
- Software Engineering/Programming and Operating Systems
- Programming Languages, Compilers, Interpreters
- Logics and Meanings of Programs
- Mathematical Logic and Formal Languages
- Artificial Intelligence (incl. Robotics)
- 005.11 23
- QA76.6-76.66
eBooks
Towards Scalable Partial Evaluation of Declarative Programs -- Deciding Full Branching Time Logic by Program Transformation -- A Transformational Approach for Proving Properties of the CHR Constraint Store -- The Dependency Triple Framework for Termination of Logic Programs -- Goal-Directed and Relative Dependency Pairs for Proving the Termination of Narrowing -- LP with Flexible Grouping and Aggregates Using Modes -- On Inductive and Coinductive Proofs via Unfold/Fold Transformations -- Coinductive Logic Programming with Negation -- Refining Exceptions in Four-Valued Logic -- Towards a Framework for Constraint-Based Test Case Generation -- Using Rewrite Strategies for Testing BUpL Agents -- Towards Just-In-Time Partial Evaluation of Prolog -- Program Parallelization Using Synchronized Pipelining -- Defining Datalog in Rewriting Logic.