Titlebook: Logic-Based Program Synthesis and Transformation; 9th International Wo Annalisa Bossi Conference proceedings 2000 Springer-Verlag Berlin He

Madrigal

Annalisa BossiIncludes supplementary material:

GRIPE

Peristalsis

AMOR

ABIDE

Transformation of Left Terminating Programsxtends our previous proposal in [BCE95] by allowing to switch the atoms in the clause bodies when a specific applicability condition is satisfied. The applicability condition is very simple to verify, yet very common in practice. We also discuss how to verify such condition by exploiting mode information.

AND

Foreshadow

Algebraic Specification and Program Development by Stepwise RefinementVarious formalizations of the concept of “refinement step” as used in the formal development of programs from algebraic specifications are presented and compared.

FLAGR

hardheaded

https://doi.org/10.1007/10720327Computational Logic; Constraint Programming; Debugging; Extension; Formal Methods Program Verification; F

STELL