Simulating the behavior of software modules by trace rewriting
- 1 January 1994
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 20 (10) , 750-759
- https://doi.org/10.1109/32.328996
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- An overview of LP, the Larch ProverLecture Notes in Computer Science, 1989
- An exception handling method for constructive algebraic specificationsSoftware: Practice and Experience, 1988
- Confluent term rewriting systems with membership conditionsPublished by Springer Nature ,1988
- Termination of rewritingJournal of Symbolic Computation, 1987
- Thue systems as rewriting systemsJournal of Symbolic Computation, 1987
- The trace specification of communications protocolsIEEE Transactions on Computers, 1985
- Principles of OBJ2Published by Association for Computing Machinery (ACM) ,1985
- Abstract Data Type Specification in the Affirm SystemIEEE Transactions on Software Engineering, 1980
- Using assertions about traces to write abstract specifications for software modulesPublished by Springer Nature ,1978
- The algebraic specification of abstract data typesActa Informatica, 1978