Logic Based Program Synthesis and Transformation

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.