H ? « ‹ ← → › »

Language peer sets for EML:
United Kingdom↑
United Kingdom/1985↑
Designed 1985 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑

EML(ID:1140/eml001)

ML Specification language 

alternate simple view
Country: United Kingdom
Designed 1985
Published: 1985

for Extended ML.

SML extended to include logically defined and institution independant modularity. A modular Prolog has been developed on its basis.

A language for formally specifying SML programs.


Don Sannella, Edinburgh. 1985

Algebraic specification meets functional programming.

A framework for specification and formal development of Standard ML (SML) programs. EML specifications look just like SML programs except that axioms are allowed in signatures and in place of code in structures and functors. Some EML specifications are executable, since SML function definitions are just axioms of a certain special form. This makes EML a "wide-spectrum" language which can be used to express every stage in the development of a SML program from the initial high-level specification to the final program itself and including intermediate stages in which specification and program are intermingled.

Places
Structures:
Related languages
ML → EML   Evolution of
ML → EML   Extension of
EML → Extended Prolog   Based on
EML → SPECTRAL   Incorporated some features of
References:
  • Sannella, D. et al (1985) Sannella, D. et al "Program Specification and Development in Standard ML"
          in [POPL 1985] (1985) [ACM SIGACT-SIGPLAN] Conference Record of the 12th ACM Symposium on Principles of Programming Languages, New Orleans, Jan. 1985. (POPL '85)
  • Sannella D. and Tarlecki. A. (1986) Sannella D. and Tarlecki. A. "Extended ML: an institution-independent framework for formal program development". Proc. Workshop on Category Theory and Computer Programming, Guildford, 1985. Springer LNCS 240, 364-389 (1986). ps
          in [POPL 1985] (1985) [ACM SIGACT-SIGPLAN] Conference Record of the 12th ACM Symposium on Principles of Programming Languages, New Orleans, Jan. 1985. (POPL '85)
  • Sannella. D. (1986) Sannella. D. "Formal specification of ML programs" Report ECS-LFCS-86-15, Laboratory for Foundations of Computer Science, University of Edinburgh (1986). Online
          in [POPL 1985] (1985) [ACM SIGACT-SIGPLAN] Conference Record of the 12th ACM Symposium on Principles of Programming Languages, New Orleans, Jan. 1985. (POPL '85)
  • Sannella D. (1989) Sannella D. and A. Tarlecki. Toward formal development of ML programs: foundations and methodology. Report ECS-LFCS-89-71, Laboratory for Foundations of Computer Science, University of Edinburgh (1989). Online
          in [POPL 1985] (1985) [ACM SIGACT-SIGPLAN] Conference Record of the 12th ACM Symposium on Principles of Programming Languages, New Orleans, Jan. 1985. (POPL '85)
  • [Proceedings] (1990) "Formal Program Development in Extended ML for the Working Programmer", D. Sannella, Proc 3rd BCS/FACS Workshop on Refinement", Springer 1990.
          in [POPL 1985] (1985) [ACM SIGACT-SIGPLAN] Conference Record of the 12th ACM Symposium on Principles of Programming Languages, New Orleans, Jan. 1985. (POPL '85)
  • Sannella, D. (1990) Sannella, D. Formal program development in Extended ML for the working programmer. Proc. 3rd BCS/FACS Workshop on Refinement, Hursley Park, 1990.
          in [POPL 1985] (1985) [ACM SIGACT-SIGPLAN] Conference Record of the 12th ACM Symposium on Principles of Programming Languages, New Orleans, Jan. 1985. (POPL '85)
  • Sannella, D. (1991) Sannella, D. and A. Tarlecki. Extended ML: past, present and future. Proc. 7th Workshop on Specification of Abstract Data Types, Wusterhausen, 1990. Springer LNCS 534, 297-322 (1991). ps
          in [POPL 1985] (1985) [ACM SIGACT-SIGPLAN] Conference Record of the 12th ACM Symposium on Principles of Programming Languages, New Orleans, Jan. 1985. (POPL '85)
  • Kahrs, S. (1993) Kahrs, S. ; D. Sannella and A. Tarlecki. The semantics of Extended ML: a gentle introduction. Proc. Intl. Workshop on Semantics of Specification Languages, Utrecht. Springer Workshops in Computing (1993). ps
          in [POPL 1985] (1985) [ACM SIGACT-SIGPLAN] Conference Record of the 12th ACM Symposium on Principles of Programming Languages, New Orleans, Jan. 1985. (POPL '85)
  • Kahrs, S. (1994) Kahrs, S. ; D. Sannella and A. Tarlecki. Interfaces and Extended ML. ps
          in [IDL 1994] (1994) SIGPLAN Notices 29(08) August 1994 ACM Workshop on Interface Definition Languages, Portland, Oregon.
  • Kahrs, S. (1994) Kahrs, S. ; D. Sannella and A. Tarlecki. The definition of Extended ML. Report ECS-LFCS-94-300, Laboratory for Foundations of Computer Science, University of Edinburgh (1994).
          in [IDL 1994] (1994) SIGPLAN Notices 29(08) August 1994 ACM Workshop on Interface Definition Languages, Portland, Oregon.
  • Kahrs. (1995) Kahrs. S. On the static analysis of Extended ML. Research note, Laboratory for Foundations of Computer Science, University of Edinburgh (1995).
          in [IDL 1994] (1994) SIGPLAN Notices 29(08) August 1994 ACM Workshop on Interface Definition Languages, Portland, Oregon.
  • Anyone who wants to try reading this should start (1997) Anyone who wants to try reading this should start with: The definition of Extended ML: a gentle introduction. Theoretical Computer Science 173:445-484 (1997).
          in [IDL 1994] (1994) SIGPLAN Notices 29(08) August 1994 ACM Workshop on Interface Definition Languages, Portland, Oregon.
  • Cerioli et al (1997) Cerioli, Maura; Gogolla, Martin; Kirchner, Helene; Bruckner, Bernd Krieg; Qian, Zhenyu; Wolf, Markus "Algebraic System Specification and Development - Survey and Annotated Bibliography" Second Edition Compass Group Bremen 1997 Abstract ps Extract: Extended ML Extract:
          in [IDL 1994] (1994) SIGPLAN Notices 29(08) August 1994 ACM Workshop on Interface Definition Languages, Portland, Oregon.
  • Kahrs, S. (1997) Kahrs, S. ; D. Sannella and A. Tarlecki. The definition of Extended ML: a gentle introduction. Theoretical Computer Science 173:445-484 (1997). ps
          in [IDL 1994] (1994) SIGPLAN Notices 29(08) August 1994 ACM Workshop on Interface Definition Languages, Portland, Oregon.
  • Kahrs, S. and Sannella, D. (1998) Kahrs, S. and Sannella, D. "Reflections on the design of a specification language" pp154-170 ps
          in Proc. (1998) Proc. Intl. Colloq. on Fundamental Approaches to Software Engineering, ETAPS'98, Lisbon. Springer LNCS 1382, 1998
  • D. Sannella and A. Tarlecki. (1999) D. Sannella and A. Tarlecki. "Algebraic methods for specification and formal development of programs" pdf
          in (1999) ACM Computing Surveys 31(3) 1999
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder