Logic Based Program Synthesis and Transformation [electronic resource] : 10th International Workshop, LOPSTR 2000 London, UK, July 24–28, 2000 Selected Papers / by Kung-Kiu Lau.

By: Lau, Kung-Kiu [author.]Contributor(s): SpringerLink (Online service)Material type: TextTextSeries: Lecture Notes in Computer Science ; 2042Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2001Description: VIII, 188 p. online resourceContent type: text Media type: computer Carrier type: online resourceISBN: 9783540451426Subject(s): Computer science | Logic design | Artificial intelligence | Computer Science | Logics and Meanings of Programs | Programming Techniques | Artificial Intelligence (incl. Robotics) | Mathematical Logic and Formal LanguagesAdditional physical formats: Printed edition:: No titleDDC classification: 005.1015113 LOC classification: QA76.9.L63QA76.5913QA76.63Online resources: Click here to access online
Contents:
Synthesis -- A Formal Framework for Synthesis and Verification of Logic Programs -- Protocols between Programs and Proofs -- Protocols between Programs and Proofs -- A Technique for Modular Logic Program Refinement -- A Technique for Modular Logic Program Refinement -- Transformation -- Higher-Order Transformation of Logic Programs -- Analysis -- Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderings -- Specialisation -- A Model for Inter-module Analysis and Optimizing Compilation -- Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages -- Automated Strategies for Specializing Constraint Logic Programs -- Abstract Interpretation -- Measuring the Precision of Abstract Interpretations -- Debugging -- Specifying Prolog Trace Models with a Continuation Semantics.
In: Springer eBooks
Item type: E-BOOKS
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Current library Home library Call number Materials specified URL Status Date due Barcode
IMSc Library
IMSc Library
Link to resource Available EBK5206

Synthesis -- A Formal Framework for Synthesis and Verification of Logic Programs -- Protocols between Programs and Proofs -- Protocols between Programs and Proofs -- A Technique for Modular Logic Program Refinement -- A Technique for Modular Logic Program Refinement -- Transformation -- Higher-Order Transformation of Logic Programs -- Analysis -- Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderings -- Specialisation -- A Model for Inter-module Analysis and Optimizing Compilation -- Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages -- Automated Strategies for Specializing Constraint Logic Programs -- Abstract Interpretation -- Measuring the Precision of Abstract Interpretations -- Debugging -- Specifying Prolog Trace Models with a Continuation Semantics.

There are no comments on this title.

to post a comment.
The Institute of Mathematical Sciences, Chennai, India

Powered by Koha