Stefan Kahrs, Donald Sannella, Andrzej Tarlecki  Home/Search
Context Related
| dcs.ed.ac.uk/pub/dts/gentletcs.ps dcs.ed.ac.uk/home/dts/p...gentletcs.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: dcs.ed.ac.uk/home/dt...SannellaDT (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Extended ML (EML) is a framework for the formal development of modular Standard ML (SML) software systems. Development commences with a specification of the behaviour required and proceeds via a sequence of partial solutions until a complete solution, an executable SML program, is obtained. All stages in this development process are expressed in the EML language, an extension of SML with axioms for describing properties of module components. This is an overview of the formal definition of the... (Update)
Context of citations to this paper: More
...in Moby. Classes can be used to simulate ordinary ML style datatypes. In particular, an ML datatype of the form not to be confused with Extended ML [17] structure SetMod = struct abstract class Set( of class ListSet(es:int list) extends Set( class CListSet(es:int list, c:int)...
.... to force principality is similar to the use of higher order inference rules in Kahrs, Sannella and Tarlecki s definition of Extended ML [27]) This completes the definition of Core ML. 3.3 Discussion of Mini SML We define Mini SML as the language obtained by combining the...
Cited by: More
Modular Formal Frameworks for Module Systems - Ancona (1998) (Correct)
Toward Component-Oriented Formal Software Development.. - Bidoit, Sannella.. (Correct)
Types for Modules - Russo (1998) (Correct)
Active bibliography (related documents): More All
1.1: Interfaces and Extended ML - Kahrs, Sannella, Tarlecki (1993) (Correct)
1.0: Algebraic System Specification and Development.. - Cerioli, Gogolla, .. (1997) (Correct)
0.8: Essential Concepts of Algebraic Specification and Program.. - Sannella, Tarlecki (1996) (Correct)
Similar documents based on text: More All
0.5: Modular Typechecking for Hierarchically Extensible.. - Millstein, Bleckner.. (2002) (Correct)
0.4: The Definition of Extended ML - Stefan Kahrs Donald (1994) (Correct)
0.4: Algebraic Methods for Specification and Formal Development of .. - Donald Sannella (1999) (Correct)
Related documents from co-citation: More All
21: Toward formal development of programs from algebraic specifications: Implementat.. - Sannella, Tarlecki - 1988
10: Science of Computer Programming (context) - Bidoit, Hennicker et al. - 1996
9: The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
BibTeX entry: (Update)
D. S. Stefan Kahrs and A. Tarlecki. The definition of Extended ML: a gentle introduction. Technical Report ECS-LFCS-95-322, Laboratory for Foundations of Computer Science, University of Edinburgh, Oct. 1995. To appear in Theoretical Computer Science. http://citeseer.ist.psu.edu/kahrs95definition.html More
@article{ kahrs97definition,
author = "Stefan Kahrs and Donald Sannella and Andrzej Tarlecki",
title = "The definition of {Extended} {ML}: {A} gentle introduction",
journal = "Theoretical Computer Science",
volume = "173",
number = "2",
pages = "445--484",
year = "1997",
url = "citeseer.ist.psu.edu/kahrs95definition.html" }
Citations (may not include all citations):1074 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
906 A structural approach to operational semantics - Plotkin - 1981
362 ML for the Working Programmer (context) - Paulson - 1991
273 Can programming be liberated from the von Neumann style (context) - Backus - 1978
268 Larch: Languages and Tools for Formal Specification (context) - Guttag, Horning - 1993
268 Proofs and Types (context) - Girard, Lafont et al. - 1989
233 Natural semantics (context) - Kahn - 1988
218 The mechanical evaluation of expressions (context) - Landin - 1964
215 A type-theoretic approach to higher-order modules with shari.. - Harper, Lillibridge - 1994
198 Toward formal development of programs from algebraic specifi.. - Sannella, Tarlecki - 1992
198 Toward formal development of programs from algebraic specifi.. - Sannella, Tarlecki - 1988
198 Toward formal development of programs from algebraic specifi.. - Sannella, Soko et al. - 1992
178 Standard ML of New Jersey - Appel, MacQueen - 1993
163 Commentary on Standard ML (context) - Milner, Tofte - 1991
139 Type systems for programming languages (context) - Mitchell - 1990
106 Observable properties of higher order functions that dynamic.. - Pitts, Stark - 1993
87 Operational Semantics and Polymorphic Type Inference (context) - Tofte - 1988
83 Modules for Standard ML - MacQueen - 1986
69 persistent interconnection and implementation of abstract mo.. (context) - Goguen, Meseguer - 1982
57 On observational equivalence and algebraic specification (context) - Sannella, Tarlecki - 1987
53 Toward formal development of ML programs: foundations and me.. - Sannella, Tarlecki - 1989
46 Data Abstraction and the Correctness of Modular Programming (context) - Schoett - 1987
35 Extended ML: an institution-independent framework for formal.. - Sannella, Tarlecki - 1986
35 PROgram development by SPECification and TRAnsformation (context) - Krieg-Bruckner - 1990
34 Behavioural equivalence: a unifying concept for initial and .. (context) - Reichel - 1981
29 On behavioural abstraction and behavioural satisfaction in h.. - Hofmann, Sannella - 1995
24 Introduction to Standard ML (context) - Harper - 1989
24 An informal introduction to specifications using Clear (context) - Burstall, Goguen - 1981
21 The Wide Spectrum Language CIP-L (context) - Bauer, Berghammer et al. - 1985
21 Formal program development in Extended ML for the working pr.. - Sannella - 1991
18 a Language for Annotating Ada Programs: Reference Manual (context) - Luckham, von Henke et al. - 1987
18 Algebraic System Specification and Development: A Survey and.. (context) - Bidoit, Kreowski et al. - 1991
18 Principle type schemes for functional programs (context) - Damas, Milner - 1982
15 Studying the ML module system in HOL - Maharaj, Gunter - 1994
14 Verification in ASL and Related Specification Languages (context) - Farr'es-Casals - 1992
5 th Workshop on Specification of Abstract Data Types (context) - Sannella, Tarlecki et al. - 1991
5 Characterizing behavioural semantics and abstractor semantic.. (context) - Bidoit, Hennicker et al. - 1994
3 Modules for a model-oriented specification language: a propo.. (context) - Tarlecki - 1992
3 Static and logical correctness conditions in formal developm.. (context) - Sannella - 1993
2 Modularizing the specification of a small database system in.. (context) - Kazmierczak - 1992
2 Model theory for Extended ML (context) - Kazmierczak - 1992
2 Deliverable 7 of the CEC-MAP project (context) - Astesiano, Nielsen et al. - 1986
1 Subsequent versions of this definition (context) - Kahrs, Sannella et al. - 1994
1 Case studies in Extended ML (context) - Sannella, Silva - 1995
1 Higher Order Logic Theorem Proving and its Applications (context) - VanInwegen, Gunter - 1994
1 Springer Workshops in Computing (context) - Wing, Rollins et al. - 1993
1 on Principles of Programming Languages (context) - Leroy, modules et al. - 1994
The graph only includes citing articles where the year of publication is known.
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