Modularising the specification of a small database system in extended ML

DOI10.1007/BF01214958MaRDI QIDQ1184686zbMATH OpenFDO

Authors Edmund Kazmierczak

Publication date 28 June 1992

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

Full work available at URL https://doi.org/10.1007/BF01214958

zbMATH Keywords

modular program developmentparameterised specificationsparametrised programs

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 683361
• scientific article; zbMATH DE number 3999262
• The definition of Extended ML: A gentle introduction
• The NDB database specified in the RAISE specification language
• scientific article; zbMATH DE number 3980454

Cites work

• A theory of type polymorphism in programming
• scientific article; zbMATH DE number 4016229 (Why is no real title available?)
• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 3714904 (Why is no real title available?)
• scientific article; zbMATH DE number 44486 (Why is no real title available?)
• On observational equivalence and algebraic specification
• Specifications in an arbitrary institution
• Toward formal development of programs from algebraic specifications: Parameterisation revisited

Cited in

(3)

• Essential concepts of algebraic specification and program development
• The definition of Extended ML: A gentle introduction
• scientific article; zbMATH DE number 683361 (Why is no real title available?)

Describes a project that uses

Uses Software

• ML

This page was built for publication: Modularising the specification of a small database system in extended ML

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1184686)