Structured theories in LCF
- 1 January 1983
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 377-391
- https://doi.org/10.1007/3-540-12727-5_24
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- A system for reasoning within and about algebraic specificationsLecture Notes in Computer Science, 1982
- Hierarchical program specification and verification ? a many-sorted logical approachActa Informatica, 1980
- The semantics of clear, a specification languagePublished by Springer Nature ,1980
- Simplification by Cooperating Decision ProceduresACM Transactions on Programming Languages and Systems, 1979
- Abstract data types and software validationCommunications of the ACM, 1978
- Data type specificationPublished by Association for Computing Machinery (ACM) ,1978