Algebraic properties of program integration
- 31 December 1991
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 17 (1-3) , 139-215
- https://doi.org/10.1016/0167-6423(91)90039-z
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Efficient comparison of program slicesActa Informatica, 1991
- Interprocedural slicing using dependence graphsACM Transactions on Programming Languages and Systems, 1990
- Integrating noninterfering versions of programsACM Transactions on Programming Languages and Systems, 1989
- Dependence analysis for pointer variablesPublished by Association for Computing Machinery (ACM) ,1989
- Composing recursive logic programs withClausal joinNew Generation Computing, 1988
- The program dependence graph and its use in optimizationACM Transactions on Programming Languages and Systems, 1987
- On merging software extensionsActa Informatica, 1986
- A Couple of Novelties in the Propositional CalculusMathematical Logic Quarterly, 1985
- On the Number of Operations Simultaneously Executable in Fortran-Like Programs and Their Resulting SpeedupIEEE Transactions on Computers, 1972
- On Closed Elements in Closure AlgebrasAnnals of Mathematics, 1946