Modularising the specification of a small database system in extended ML

DOI10.1007/BF01214958zbMath0739.68031MaRDI QIDQ1184686

Edmund Kazmierczak

Publication date: 28 June 1992

Published in: Formal Aspects of Computing (Search for Journal in Brave)

zbMATH Keywords

parameterised specificationsmodular program developmentparametrised programs

Mathematics Subject Classification ID

Database theory (68P15) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Essential concepts of algebraic specification and program development, The definition of Extended ML: A gentle introduction

Uses Software

• ML

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On observational equivalence and algebraic specification
• Specifications in an arbitrary institution
• A theory of type polymorphism in programming
• Toward formal development of programs from algebraic specifications: Parameterisation revisited