Logic Based Program Synthesis and Transformation 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Etalle, Sandro (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Edición:1st ed. 2005.
Colección:Theoretical Computer Science and General Issues, 3573
Temas:
Computer science.
Computer programming.
Machine theory.
Artificial intelligence.
Computer Science Logic and Foundations of Programming.
Programming Techniques.
Formal Languages and Automata Theory.
Artificial Intelligence.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Verification and Analysis
  • Searching Semantically Equivalent Code Fragments in Logic Programs
  • Determinacy Analysis for Logic Programs Using Mode and Type Information
  • Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs
  • Fully Automatic Binding-Time Analysis for Prolog
  • Theory and Security
  • Logical Mobility and Locality Types
  • Unwinding Conditions for Security in Imperative Languages
  • Natural Rewriting for General Term Rewriting Systems
  • Transformations
  • Negation Elimination for Finite PCFGs
  • Specialization of Concurrent Guarded Multi-set Transformation Rules
  • Efficient Local Unfolding with Ancestor Stacks for Full Prolog
  • Program Development
  • Schema-Guided Synthesis of Imperative Programs by Constraint Solving
  • Run-Time Profiling of Functional Logic Programs
  • Constructive Specifications for Compositional Units
  • Termination
  • Input-Termination of Logic Programs
  • On Termination of Binary CLP Programs
  • Program Development and Synthesis
  • From Natural Semantics to Abstract Machines
  • Graph-Based Proof Counting and Enumeration with Applications for Program Fragment Synthesis.

Ejemplares similares