Debugging Larch shared language specifications
- 1 January 1990
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 16 (9), 1044-1057
- https://doi.org/10.1109/32.58789
Abstract
No abstract availableThis publication has 10 references indexed in Scilit:
- Localized verification of circuit descriptionsLecture Notes in Computer Science, 1990
- An overview of LP, the Larch ProverLecture Notes in Computer Science, 1989
- Inductive methods for reasoning about abstract data typesPublished by Association for Computing Machinery (ACM) ,1988
- Logic and ComputationPublished by Cambridge University Press (CUP) ,1987
- Report on the larch shared languageScience of Computer Programming, 1986
- A Larch Shared Language handbookScience of Computer Programming, 1986
- The Larch Family of Specification LanguagesIEEE Software, 1985
- On observational equivalence and algebraic specificationLecture Notes in Computer Science, 1985
- Complete Sets of Reductions for Some Equational TheoriesJournal of the ACM, 1981
- Formal specification as a design toolPublished by Association for Computing Machinery (ACM) ,1980