Logic Based Program Synthesis and Transformation 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Hill, Patricia M. (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Edición:1st ed. 2006.
Colección:Theoretical Computer Science and General Issues, 3901
Temas:
Computer science.
Artificial intelligence.
Computer programming.
Machine theory.
Computer Science Logic and Foundations of Programming.
Artificial Intelligence.
Programming Techniques.
Formal Languages and Automata Theory.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM
  • Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM
  • Tools for Program Development
  • Declarative Programming with Function Patterns
  • Transformational Verification of Parameterized Protocols Using Array Formulas
  • Design and Implementation of : A Real-Time Action Description Language
  • Program Transformations
  • An Algorithm for Local Variable Elimination in Normal Logic Programs
  • Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs
  • Extension of Type-Based Approach to Generation of Stream-Processing Programs by Automatic Insertion of Buffering Primitives
  • Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates
  • Software Development and Program Analysis
  • A Transformational Semantics of Static Embedded Implications of Normal Logic Programs
  • Converting One Type-Based Abstract Domain to Another
  • Experiments in Context-Sensitive Analysis of Modular Programs.

Ejemplares similares