Logic-Based Program Synthesis and Transformation [electronic resource] : 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers / edited by Germn Puebla.
Tipo de material:
TextoSeries Lecture Notes in Computer Science, 4407Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Descripción: VIII, 240 p. online resourceTipo de contenido: text Tipo de medio: computer Tipo de portador: online resourceISBN: 9783540714101Trabajos contenidos: SpringerLink (Online service)Tema(s): Computer science | Logic design | Artificial intelligence | Computer Science | Logics and Meanings of Programs | Programming Techniques | Mathematical Logic and Formal Languages | Artificial Intelligence (incl. Robotics)Formatos físicos adicionales: Sin títuloClasificación CDD: 005.1015113 Clasificación LoC:QA76.9.L63QA76.5913QA76.63Recursos en línea: de clik aquí para ver el libro electrónico 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.
ZDB-2-SCS
ZDB-2-LNC
No hay comentarios en este titulo.