Normal view MARC view ISBD view

Logic Based Program Synthesis and Transformation 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papers / [electronic resource] : edited by Sandro Etalle. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - VIII, 284 p. online resource. - Lecture Notes in Computer Science, 3573 0302-9743 ; . - Lecture Notes in Computer Science, 3573 .

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.

ISBN: 9783540316831

Standard No.: 10.1007/b137785 doi

Subjects--Topical Terms:
Computer science.
Logic design.
Artificial intelligence.
Computer Science.
Logics and Meanings of Programs.
Programming Techniques.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics).

LC Class. No.: QA76.9.L63 QA76.5913 QA76.63

Dewey Class. No.: 005.1015113