Paper Info
Title
Program specification and development in standard ML
Abstract
An attempt is made to apply ideas about algebraic specification in the context of a programming language. Standard ML with modules is extended by allowing axioms in module interface specifications and in place of code. The resulting specification language, called Extended ML, is given a semantics based on the primitive specification-building operations of the kernel algebraic specification language ASL. Extended ML provides a framework for the formal development of programs from specifications by stepwise refinement, which is illustrated by means of a simple example. From its semantic basis Extended ML inherits complete independence from the logical system (institution) used to write specifications. This allows different styles of specification as well as different programming languages to be accommodated.
Year
DOI
Venue
1985
10.1145/318593.318614
POPL
Keywords
Field
DocType
program specification,different style,different programming language,standard ml,algebraic specification,specification language,programming language,module interface specification,kernel algebraic specification language,extended ml,complete independence,type inference
Algebraic specification,Specification language,Programming language specification,Programming language,Extended ML,Standard ML,Computer science,Formal specification,Object language,Theoretical computer science,Language Of Temporal Ordering Specification
Conference
ISBN
Citations 
PageRank 
0-89791-147-4
29
4.61
References 
Authors
15
2
Name
Order
Citations
PageRank
Donald Sannella11417134.34
Andrzej Tarlecki21514124.61