Essential Concepts of Algebraic Specification and Program Development (1996)
Cached
Download Links
- [ftp.dcs.ed.ac.uk]
- [www.dcs.ed.ac.uk]
- [www.dcs.ed.ac.uk]
- [homepages.inf.ed.ac.uk]
- DBLP
Other Repositories/Bibliography
by
Donald Sannella
,
Andrzej Tarlecki
| Citations: | 54 - 15 self |
BibTeX
@MISC{Sannella96essentialconcepts,
author = {Donald Sannella and Andrzej Tarlecki},
title = {Essential Concepts of Algebraic Specification and Program Development},
year = {1996}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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.
