The definition of Extended ML: A gentle introduction
From MaRDI portal
Publication:1391731
DOI10.1016/S0304-3975(96)00163-6zbMath0901.68024MaRDI QIDQ1391731
Andrzej Tarlecki, Stefan Kahrs, Donald Sannella
Publication date: 22 July 1998
Published in: Theoretical Computer Science (Search for Journal in Brave)
Related Items
A Proof Theoretic Interpretation of Model Theoretic Hiding, Types for modules, Functorial semantics of first-order views, Essential concepts of algebraic specification and program development, The definition of Extended ML: A gentle introduction, On behavioural abstraction and behavioural satisfaction in higher-order logic, Observational interpretation of Casl specifications, HasCasl: integrated higher-order specification and program development
Uses Software
Cites Work
- ANNA. A language for annotating Ada programs. Reference manual
- On behavioural abstraction and behavioural satisfaction in higher-order logic
- On observational equivalence and algebraic specification
- Toward formal development of programs from algebraic specifications: Implementations revisited
- Programming in a wide spectrum language: A collection of examples
- Modularising the specification of a small database system in extended ML
- Algebraic system specification and development. A survey and annotated bibliography
- Toward formal development of programs from algebraic specifications: Parameterisation revisited
- Essential concepts of algebraic specification and program development
- The definition of Extended ML: A gentle introduction
- A structural approach to operational semantics
- Behavioural and abstractor specifications
- Can programming be liberated from the von Neumann style?
- The Mechanical Evaluation of Expressions
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
