Logic Based Program Synthesis and Transformation

14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers

292 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

Verification and Analysis.- Searching Semantically Equivalent Code Fragments in Logic Programs.- Determinacy Analysis for Logic Programs Using Mode and Type Information.- Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs.- Fully Automatic Binding-Time Analysis for Prolog.- Theory and Security.- Logical Mobility and Locality Types.- Unwinding Conditions for Security in Imperative Languages.- Natural Rewriting for General Term Rewriting Systems.- Transformations.- Negation Elimination for Finite PCFGs.- Specialization of Concurrent Guarded Multi-set Transformation Rules.- Efficient Local Unfolding with Ancestor Stacks for Full Prolog.- Program Development.- Schema-Guided Synthesis of Imperative Programs by Constraint Solving.- Run-Time Profiling of Functional Logic Programs.- Constructive Specifications for Compositional Units.- Termination.- Input-Termination of Logic Programs.- On Termination of Binary CLP Programs.- Program Development and Synthesis.- From Natural Semantics to Abstract Machines.- Graph-Based Proof Counting and Enumeration with Applications for Program Fragment Synthesis.

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