Kahrs, Stefan and Sannella, Don (1998) Reflections on the design of a specification language. In: Astesiano, Egidio, ed. Fundamental Approaches to Software Engineering First International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 154-170. ISBN 978-3-540-64303-6. E-ISBN 978-3-540-69723-7. (doi:10.1007/BFb0053578) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:17391)
| The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided. | |
| 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: | Book section |
|---|---|
| DOI/Identification number: | 10.1007/BFb0053578 |
| Uncontrolled keywords: | Programming Language, Specification Language, Imperative Feature, Type Application, Formal Semantic |
| Subjects: |
T Technology > TK Electrical engineering. Electronics. Nuclear engineering > TK7800 Electronics > TK7880 Applications of electronics > TK7885 Computer engineering. Computer hardware Q Science Q Science > QA Mathematics (inc Computing science) > QA 75 Electronic computers. Computer science |
| Divisions: | Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing |
| Depositing User: | M.A. Ziai |
| Date Deposited: | 04 Apr 2009 23:13 UTC |
| Last Modified: | 05 Nov 2024 09:53 UTC |
| Resource URI: | https://kar.kent.ac.uk/id/eprint/17391 (The current URI for this page, for reference purposes) |
University of Kent Author Information
Kahrs, Stefan.
| Creator's ORCID: |
 https://orcid.org/0000-0001-5099-9375
|
|---|---|
| CReDIT Contributor Roles: |
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):
Altmetric
Altmetric
