1 option
Logic-Based Program Synthesis and Transformation : 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers / edited by Germán Puebla.
SpringerLink Books Lecture Notes In Computer Science (LNCS) (1997-2024) Available online
View online- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- LNCS sublibrary. Theoretical computer science and general issues ; SL 1, 4407.
- Theoretical Computer Science and General Issues ; 4407
- Language:
- English
- Subjects (All):
- Software engineering.
- Computer logic.
- Computer programming.
- Logic, Symbolic and mathematical.
- Artificial intelligence.
- Software Engineering/Programming and Operating Systems.
- Logics and Meanings of Programs.
- Programming Techniques.
- Mathematical Logic and Formal Languages.
- Artificial Intelligence.
- Local Subjects:
- Software Engineering/Programming and Operating Systems.
- Logics and Meanings of Programs.
- Programming Techniques.
- Mathematical Logic and Formal Languages.
- Artificial Intelligence.
- Physical Description:
- 1 online resource (VIII, 240 pages).
- Edition:
- First edition 2007.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
- System Details:
- text file PDF
- Contents:
- Invited Talks
- How to Talk to a Human: The Semantic Web and the Clash of the Titans
- CHESS: Systematic Stress Testing of Concurrent Software
- Program Development
- ARM: Automatic Rule Miner
- Constructing Consensus Logic Programs
- Partial Evaluation and Program Transformation
- Supervising Offline Partial Evaluation of Logic Programs Using Online Techniques
- Improving Offline Narrowing-Driven Partial Evaluation Using Size-Change Graphs
- Towards Description and Optimization of Abstract Machines in an Extension of Prolog
- Security and Synthesis
- Combining Different Proof Techniques for Verifying Information Flow Security
- On the Automated Synthesis of Proof-Carrying Temporal Reference Monitors
- Synthesis of Asynchronous Systems
- Debugging and Testing
- A Comparative Study of Algorithmic Debugging Strategies
- A Program Transformation for Tracing Functional Logic Computations
- Termination and Analysis
- Automated Termination Analysis for Logic Programs by Term Rewriting
- Detecting Non-termination of Term Rewriting Systems Using an Unfolding Operator
- Polytool: Proving Termination Automatically Based on Polynomial Interpretations
- Grids: A Domain for Analyzing the Distribution of Numerical Values.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-540-71410-1
- 9783540714101
- 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.