Toward formal development of ML programs: Foundations and methodology

Donald Sannella, Andrzej Tarlecki

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.
Original languageEnglish
Title of host publicationTAPSOFT '89
Subtitle of host publicationProceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13–17, 1989
EditorsJ. Díaz, F. Orejas
PublisherSpringer
Pages375-389
Number of pages15
ISBN (Electronic)978-3-540-46118-0
ISBN (Print)978-3-540-50940-0
DOIs
Publication statusPublished - 1989

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
Volume352
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Fingerprint

Dive into the research topics of 'Toward formal development of ML programs: Foundations and methodology'. Together they form a unique fingerprint.

Cite this