Mathematical specifications

Publisher Website

1 December 1980

journal article
Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices

Vol. 15 (12) , 31-42
https://doi.org/10.1145/947800.947802

Abstract

No abstract available

Keywords

MATHEMATICAL SPECIFICATION

This publication has 5 references indexed in Scilit:

Limits of the "algebraic" specification of abstract data types
ACM SIGPLAN Notices, 1977
Abstract data types and the development of data structures
Communications of the ACM, 1977
A Sampler of Formal Definitions
ACM Computing Surveys, 1976
An axiomatic basis for computer programming
Communications of the ACM, 1969
Semantics of context-free languages
Theory of Computing Systems, 1968