Toward Formal Development of Programs from Algebraic Specifications: Model-Theoretic Foundations

Donald Sannella and Andrzej Tarlecki

Abstract: This paper presents in an informal way the main ideas underlying our work on the model-theoretic foundations of algebraic specification and program development. We attempt to offer an overall view, rather than new results, and focus on the basic motivation behind the technicalities presented elsewhere and on the conclusions from this work.

LFCS report ECS-LFCS-92-204

A revised and extended version of this report has been submitted for journal publication.

Previous | Index | Next