Stefan Kahrs, Donald Sannella  Home/Search
Context Related
| dcs.ed.ac.uk/home/dts/...reflections.ps cs.ukc.ac.uk/pubs/1998/...content.ps.gz dcs.ed.ac.uk/pub/dts/reflections.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: dcs.ed.ac.uk/home/dt...SannellaDT (more) From: cs.bham.ac.uk/~mcp...publications (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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. (Update)
Context of citations to this paper: More
...of modular Prolog programs. On the negative side, the semantics of EML is more complicated than we had expected. See [Kahrs and Sannella 1998] for some reasons why this seems to be necessarily so. This is reflected in the difficulty of proving properties of programs...
...Note that BAGcount (Nat, Bag) is just an abbreviation for the renaming BAGcount (Nat for E) Extended ML. Extended ML (EML) San91,ST91,KS98] is a framework for the formal development of modular programs in the Standard ML (SML) 8 Specification Languages 7 functional...
Cited by: More
Algebraic Methods for Specification and Formal Development.. - Sannella, Tarlecki (1999) (Correct)
Specification Languages - Sannella, Wirsing (1999) (Correct)
Active bibliography (related documents): More All
0.5: On the Static Analysis of Extended ML - Kahrs (Correct)
0.3: From specifications to code in Casl - Aspinall, Sannella (2002) (Correct)
0.3: Specification Matching of Software Components - Zaremski, Wing (1996) (Correct)
Similar documents based on text: More All
0.3: The Definition of Extended ML - Stefan Kahrs Donald (1994) (Correct)
0.2: Casl. 5 37. (with M. Bidoit) Behavioural satisfaction and equi... - Nd Eq Ui (Correct)
0.2: Regular Expressions - a Graphical User Interface - Kahrs (1999) (Correct)
Related documents from co-citation: More All
4: Toward formal development of programs from algebraic specifications: Implementat.. - Sannella, Tarlecki - 1988
3: Extended ML: an institution-independent framework for formal program development - Sannella, Tarlecki - 1986
3: The definition of Extended ML: a gentle introduction - Kahrs, Tarlecki - 1995
BibTeX entry: (Update)
Kahrs, S. and Sannella, D. 1998. Reflections on the design of a specification language. In Proc. Intl. Colloq. on Fundamental Approaches to Software Engineering. European Joint Conferences on Theory and Practice of Software (ETAPS'98), Volume 1382 of Lecture Notes in Computer Science (1998), pp. 154--170. Springer. http://citeseer.ist.psu.edu/63123.html More
@article{ kahrs98reflections,
author = "Stefan Kahrs and Donald Sannella",
title = "Reflections on the Design of a Specification Language",
journal = "Lecture Notes in Computer Science",
volume = "1382",
pages = "154+",
year = "1998",
url = "citeseer.ist.psu.edu/63123.html" }
Citations (may not include all citations):1074 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
1074 The Definition of Standard ML (context) - Milner, Tofte et al. - 1997
809 A theory of type polymorphism in programming (context) - Milner - 1978
291 Computational lambda-calculus and monads - Moggi - 1989
268 Larch: Languages and Tools for Formal Specification (context) - Guttag, Horning - 1993
244 Imperative functional programming - Jones, Wadler - 1993
229 Theory of Recursive Functions and Effective Computability (context) - Rogers - 1967
179 The lazy lambda calculus - Abramsky - 1990
152 Semantics of Programming Languages (context) - Gunter - 1992
143 Theorems for free - Wadler - 1989
106 Observable properties of higher order functions that dynamic.. - Pitts, Stark - 1993
97 and parametric polymorphism (context) - Reynolds, abstraction - 1983
87 Operational Semantics and Polymorphic Type Inference (context) - Tofte - 1988
58 Simple imperative polymorphism - Wright - 1995
54 Type reconstruction in the presence of polymorphic recursion (context) - Kfoury, Tiuryn et al. - 1993
54 Type Assignment in Programming Languages (context) - Damas - 1985
44 Typability and type-checking in the second-order -calculus a.. (context) - Wells - 1994
43 Completeness of many-sorted equational logic (context) - Goguen, Meseguer - 1985
41 Essential concepts of algebraic specification and program de.. - Sannella, Tarlecki - 1997
35 Extended ML: An institution-independent framework for formal.. - Sannella, Tarlecki - 1986
30 Polymorphic typing of an algorithmic language - Leroy - 1992
27 The definition of Extended ML: A gentle introduction - Kahrs, Sannella et al. - 1997
23 A reflection on call-by-value - Sabry, Wadler - 1996
21 Formal program development in Extended ML for the working pr.. - Sannella - 1991
21 Should your specification language be typed - Lamport, Paulson - 1997
20 Program specification and development in Standard ML (context) - Sannella, Tarlecki - 1985
18 a Language for Annotating Ada Programs: Reference Manual (context) - Luckham, von Henke et al. - 1987
17 Correspondence between operational and denotational semantic.. - Ong - 1995
7 Type isomorphisms in a type-assignment framework (context) - di Cosmo - 1992
7 An overview of Larch/C++: Behavioral specifications for C++ .. - Leavens - 1996
6 ML and a new application for LP (context) - Wing, Rollins et al. - 1993
5 Completeness of many-sorted equational logic revisited (context) - Padawitz, Wirsing - 1984
4 Limits of ML-definability - Kahrs - 1996
4 The genericity theorem and parametricity in the polymorphic .. (context) - Longo, Milsted et al. - 1993
3 Abstract versus concrete models of specifications (context) - Sannella, Tarlecki et al. - 1996
2 Technical Report ECS-LFCS (context) - Kahrs, Sannella et al. - 1994
1 Formulating Haskell - Thompson - 1993
Documents on the same site (http://www.dcs.ed.ac.uk/home/dts/pub/SannellaDT.html): More
Pre-logical Relations - Honsell, Sannella (1999) (Correct)
Essential Concepts of Algebraic Specification and Program.. - Sannella, Tarlecki (1996) (Correct)
A Compositional Generalisation of Logical Relations - Plotkin, Power, Sannella (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC