1 option
Logic Based Program Synthesis and Transformation : 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers / edited by Kung-Kiu Lau.
LIBRA Q341 .P7 2004
Available from offsite location
- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- Lecture notes in computer science 0302-9743 ; 2042.
- Lecture Notes in Computer Science, 0302-9743 ; 2042
- Language:
- English
- Subjects (All):
- Software engineering.
- Computer logic.
- Computer programming.
- Artificial intelligence.
- Logic, Symbolic and mathematical.
- Software Engineering/Programming and Operating Systems.
- Logics and Meanings of Programs.
- Programming Techniques.
- Artificial Intelligence.
- Mathematical Logic and Formal Languages.
- Local Subjects:
- Software Engineering/Programming and Operating Systems.
- Logics and Meanings of Programs.
- Programming Techniques.
- Artificial Intelligence.
- Mathematical Logic and Formal Languages.
- Physical Description:
- 1 online resource (VIII, 188 pages).
- Edition:
- First edition 2001.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001.
- System Details:
- text file PDF
- Contents:
- Synthesis
- A Formal Framework for Synthesis and Verification of Logic Programs
- Protocols between Programs and Proofs
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-540-45142-6
- 9783540451426
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.