Normal view MARC view ISBD view

Logic Based Program Synthesis and Transformation 11th International Workshop, LOPSTR 2001 Paphos, Cyprus, November 28–30, 2001 Selected Papers / [electronic resource] : edited by Alberto Pettorossi. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2002. - VIII, 272 p. online resource. - Lecture Notes in Computer Science, 2372 0302-9743 ; . - Lecture Notes in Computer Science, 2372 .

Invited Speaker -- Static Analysis for Safe Destructive Updates in a Functional Language -- Program Transformation and Equivalence -- A Transformation Technique for Datalog Programs Based on Non-deterministic Constructs -- On Deforesting Parameters of Accumulating Maps -- Equivalence in Answer Set Programming -- Program Verificaion -- Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols -- Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking -- Verification of Sets of Infinite State Processes Using Program Transformation -- Program Analysis -- When Size Does Matter -- Symbolic Profiling for Multi-paradigm Declarative Languages -- Program Development -- Correct Object-Oriented Systems in Computational Logic -- A Framework for Developing Embeddable Customized Logics -- Computing Environment-Aware Agent Behaviours with Logic Program Updates -- Program Synthesis -- Extracting General Recursive Program Schemes in Nuprl’s Type Theory -- Extracting Exact Time Bounds from Logical Proofs.

ISBN: 9783540456070

Standard No.: 10.1007/3-540-45607-4 doi

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

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

Dewey Class. No.: 005.1015113