Essential concepts of algebraic specification and program development

Donald Sannella, Andrzej Tarlecki

Research output: Contribution to journalArticlepeer-review

Abstract / Description of output

The main ideas underlying work on the model-theoretic foundations of algebraic specification and formal program development are presented in an informal way. An attempt is made to offer an overall view, rather than new results, and to focus on the basic motivation behind the technicalities presented elsewhere.
Original languageEnglish
Pages (from-to)229-269
Number of pages41
JournalFormal Aspects of Computing
Publication statusPublished - 1997


Dive into the research topics of 'Essential concepts of algebraic specification and program development'. Together they form a unique fingerprint.

Cite this