Vai al contenuto principale della pagina
Titolo: |
Logic-Based Program Synthesis and Transformation [[electronic resource] ] : 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers / / edited by Germán Puebla
![]() |
Pubblicazione: | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
Edizione: | 1st ed. 2007. |
Descrizione fisica: | 1 online resource (VIII, 240 p.) |
Disciplina: | 005.1 |
Soggetto topico: | Software engineering |
Computer science | |
Computer programming | |
Machine theory | |
Artificial intelligence | |
Software Engineering | |
Computer Science Logic and Foundations of Programming | |
Programming Techniques | |
Formal Languages and Automata Theory | |
Artificial Intelligence | |
Persona (resp. second.): | PueblaGermán |
Note generali: | Includes index. |
Nota di bibliografia: | Includes bibliographical references and index. |
Nota di contenuto: | 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. |
Titolo autorizzato: | Logic-Based Program Synthesis and Transformation ![]() |
ISBN: | 1-280-86484-2 |
9786610864843 | |
3-540-71410-3 | |
Formato: | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 996465866903316 |
Lo trovi qui: | Univ. di Salerno |
Opac: | Controlla la disponibilità qui |