Second-order proof systems for algebraic specification languages
- 1 January 1994
- book chapter
- Published by Springer Nature
- p. 321-336
- https://doi.org/10.1007/3-540-57867-6_20
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Larch: Languages and Tools for Formal SpecificationPublished by Springer Nature ,1993
- Pure second-order logic.Notre Dame Journal of Formal Logic, 1992
- Institutions: abstract model theory for specification and programmingJournal of the ACM, 1992
- Context induction: A proof principle for behavioural abstractions and algebraic implementationsFormal Aspects of Computing, 1991
- Basic Operations on Module SpecificationsPublished by Springer Nature ,1990
- Initial behaviour semantics for algebraic specificationsLecture Notes in Computer Science, 1988
- Implementation of modular algebraic specificationsPublished by Springer Nature ,1988
- On observational equivalence and algebraic specificationJournal of Computer and System Sciences, 1987
- Structured algebraic specifications: A Kernel languageTheoretical Computer Science, 1986
- Fundamentals of Algebraic Specification 1Published by Springer Nature ,1985