Logic Based Program Synthesis and Transformation 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers /
Logic Based Program Synthesis and Transformation 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers / [electronic resource] :
edited by Kung-Kiu Lau.
- 1st ed. 2001.
- VIII, 188 p. online resource.
- Lecture Notes in Computer Science, 2042 1611-3349 ; .
- Lecture Notes in Computer Science, 2042 .
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.
9783540451426
10.1007/3-540-45142-0 doi
Software engineering.
Computer science.
Computer programming.
Artificial intelligence.
Machine theory.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Programming Techniques.
Artificial Intelligence.
Formal Languages and Automata Theory.
QA76.758
005.1
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.
9783540451426
10.1007/3-540-45142-0 doi
Software engineering.
Computer science.
Computer programming.
Artificial intelligence.
Machine theory.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Programming Techniques.
Artificial Intelligence.
Formal Languages and Automata Theory.
QA76.758
005.1