Reflections on the Design of a Specification language

We reflect on our experiences from work on the design and semantic underpinnings of Extended ML, a specification language which supports the specification and formal development of Standard ML programs. Our aim is to isolate problems and issues that are intrinsic to the general enterprise of designing a specification language for use with a given programming language. Consequently the lessons learned go far beyond our original aim of designing a specification language for ML.

• Type: Conference
• Year: 1998
• Where: FASE
• Authors: Stefan Kahrs, Donald Sannella
• Keywords: Extended ML, FASE 1998, Software Engineering, Specification Language, Standard ML Programs