School of Computing

Reflections on the design of a specification language

Stefan Kahrs and Donald Sannella

In Egidio Astesiano, editor, Fundamental Aspects of Software Engineering, volume 1382 of Lecture Notes in Computer Science, pages 182-196. Springer, April 1998.

Abstract

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.

Download publication 59 kbytes

Bibtex Record

@conference{578,
author = {Stefan Kahrs and Donald Sannella},
title = {Reflections on the Design of a Specification Language},
month = {April},
year = {1998},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1998/578},
    booktitle = {Fundamental Aspects of Software Engineering},
    editor = {Egidio Astesiano},
    publisher = {Springer},
    refereed = {yes},
    series = {Lecture Notes in Computer Science},
    volume = {1382},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014