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.
Contributor(s): De Schreye, Danny [editor.]
| SpringerLink (Online service).
Material type: 
BookSeries: Theoretical Computer Science and General Issues: 6037Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Edition: 1st ed. 2010.Description: X, 205 p. 29 illus. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783642125928.Subject(s): Computer programming | Software engineering | Compilers (Computer programs) | Computer science | Machine theory | Artificial intelligence | Programming Techniques | Software Engineering | Compilers and Interpreters | Computer Science Logic and Foundations of Programming | Formal Languages and Automata Theory | Artificial IntelligenceAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 005.11 Online resources: Click here to access online 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.
There are no comments for this item.