Logic-Based Program Synthesis and Transformation

17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers

232 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

Program Termination.- Proving Termination with (Boolean) Satisfaction.- Termination Analysis of Logic Programs Based on Dependency Graphs.- Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation.- Program Transformation.- Towards a Normal Form for Mercury Programs.- Aggregates for CHR through Program Transformation.- Preserving Sharing in the Partial Evaluation of Lazy Functional Programs.- Denotation by Transformation.- Constraint Solving and Analysis.- Generation of Rule-Based Constraint Solvers: Combined Approach.- A Scalable Inclusion Constraint Solver Using Unification.- Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs.- A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs.- Software Engineering.- Snapshot Generation in a Constructive Object-Oriented Modeling Language.- Synthesis of Data Views for Communicating Processes.- Action Refinement in Process Algebra and Security Issues.

• Reihe: Lecture Notes in Computer Science
• Themen: Informatik und Informationstechnologie Informatik Künstliche Intelligenz (KI)
• ISBN: 9783540787686
• Sprache: Englisch
• Erscheinungsdatum: 18.03.2008
• Größe: 235 x 155 mm
• Verlag: Springer
• Herausgegeben von: Andy King