Logic based program synthesis and transformation

InhaltsverzeichnisProgram 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.