Logic-Based Program Synthesis and Transformation 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers /

Bibliographic Details
Call Number:Libro Electrónico
Corporate Author: SpringerLink (Online service)
Other Authors: King, Andy (Editor)
Format: Electronic eBook
Language:Inglés
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
Edition:1st ed. 2008.
Series:Theoretical Computer Science and General Issues, 4915
Subjects:
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.
Online Access:Texto Completo
Table of Contents:
  • Program Termination
  • Proving Termination with (Boolean) Satisfaction
  • Termination Analysis of Logic Programs Based on Dependency Graphs
  • Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation
  • Program Transformation
  • Towards a Normal Form for Mercury Programs
  • Aggregates for CHR through Program Transformation
  • Preserving Sharing in the Partial Evaluation of Lazy Functional Programs
  • Denotation by Transformation
  • Constraint Solving and Analysis
  • Generation of Rule-Based Constraint Solvers: Combined Approach
  • A Scalable Inclusion Constraint Solver Using Unification
  • Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs
  • A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs
  • Software Engineering
  • Snapshot Generation in a Constructive Object-Oriented Modeling Language
  • Synthesis of Data Views for Communicating Processes
  • Action Refinement in Process Algebra and Security Issues.

Similar Items