Approximate reasoning about the semantic effects of program changes
- 1 January 1990
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 16 (9) , 980-992
- https://doi.org/10.1109/32.58785
Abstract
No abstract availableThis publication has 20 references indexed in Scilit:
- The implications of program dependencies for software testing, debugging, and maintenancePublished by Association for Computing Machinery (ACM) ,1989
- Interprocedural slicing using dependence graphsPublished by Association for Computing Machinery (ACM) ,1988
- ANNA A Language for Annotating Ada ProgramsPublished by Springer Nature ,1987
- An assumption-based TMSArtificial Intelligence, 1986
- Principles of OBJ2Published by Association for Computing Machinery (ACM) ,1985
- Efficient computation of flow insensitive interprocedural summary informationPublished by Association for Computing Machinery (ACM) ,1984
- A truth maintenance systemArtificial Intelligence, 1979
- A Designer/Verifier's AssistantIEEE Transactions on Software Engineering, 1979
- A lattice model of secure information flowCommunications of the ACM, 1976
- An axiomatic basis for computer programmingCommunications of the ACM, 1969