Program slicing using weakest preconditions
Authors:
- 1 January 1996
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 557-575
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Experience with logical code analysis in software maintenanceSoftware: Practice and Experience, 1995
- A new algorithm for the calculation of transitive dependencesJournal of Software Maintenance: Research and Practice, 1995
- Experience with logical code analysis in software reuse and re-engineering1995
- Using program slicing in software maintenanceIEEE Transactions on Software Engineering, 1991
- Programming in the 1990s1990
- Calculating with pointersScience of Computer Programming, 1989
- Program SlicingIEEE Transactions on Software Engineering, 1984
- Problematic features of programming languages: a situational-calculus approachActa Informatica, 1981
- The Science of Programming1981