Logic-Based Program Synthesis and Transformation 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers /
Clasificación: | Libro Electrónico |
---|---|
Autor Corporativo: | |
Otros Autores: | |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2007.
|
Edición: | 1st ed. 2007. |
Colección: | Theoretical Computer Science and General Issues,
4407 |
Temas: | |
Acceso en línea: | Texto Completo |
Tabla de Contenidos:
- 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.