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. (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):
