@inproceedings{e1e6a6c09754406d9529b10b77350633,
title = "Toward formal development of ML programs: Foundations and methodology",
abstract = "A methodology is presented for the formal development of modular Standard ML programs from specifications. Program development proceeds via a sequence of design (modular decomposition), coding and refinement steps. For each of these three kinds of step, conditions are given which ensure the correctness of the result. These conditions seem to be as weak as possible under the constraint of being expressible as “local” interface matching requirements.",
author = "Donald Sannella and Andrzej Tarlecki",
year = "1989",
doi = "10.1007/3-540-50940-2_48",
language = "English",
isbn = "978-3-540-50940-0",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "375--389",
editor = "J. D{\'i}az and F. Orejas",
booktitle = "TAPSOFT '89",
address = "United Kingdom",
}