Reflections on the design of a specification language

Kahrs, Stefan and Sannella, D. (1998) Reflections on the design of a specification language. In: Astesiano, E., ed. Lecture Notes in Computer Science. Springer-Verlag Berlin pp. 154-170. ISBN 3-540-64303-6. (The full text of this publication is not available from this repository)

The full text of this publication is not available from this repository. (Contact us about this Publication)
Official URL
http://dx.doi.org/10.1007/BFb0053578

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.

Item Type: Conference or workshop item (Paper)
Subjects: T Technology > TK Electrical engineering. Electronics Nuclear engineering > TK7800 Electronics (see also: telecommunications) > TK7880 Applications of electronics (inc industrial & domestic) > TK7885 Computer engineering
Q Science
Q Science > QA Mathematics (inc Computing science) > QA 75 Electronic computers. Computer science
Divisions: Faculties > Science Technology and Medical Studies > School of Computing
Depositing User: M.A. Ziai
Date Deposited: 04 Apr 2009 23:13
Last Modified: 24 Jul 2012 14:19
Resource URI: http://kar.kent.ac.uk/id/eprint/17391 (The current URI for this page, for reference purposes)
  • Depositors only (login required):