Automatic Analysis of the Logical Structure of ProgramsDecember 1978
- Author:
- Richard C. Waters
Abstract
No abstract available.
Cited By
Cohen Y and Feldman Y (2003). Automatic high-quality reengineering of database programs by abstraction, transformation and reimplementation, ACM Transactions on Software Engineering and Methodology (TOSEM), 12:3, (285-316), Online publication date: 1-Jul-2003.- Kontogiannis K Toward program representation and program understanding using process algebras Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1, (299-317)
- Ottenstein K and Ottenstein L (1984). The program dependence graph in a software development environment, ACM SIGSOFT Software Engineering Notes, 9:3, (177-184), Online publication date: 1-May-1984.
- Ottenstein K and Ottenstein L (1984). The program dependence graph in a software development environment, ACM SIGPLAN Notices, 19:5, (177-184), Online publication date: 1-May-1984.
- Waters R Expressional loops Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (1-10)
- Ottenstein K and Ottenstein L The program dependence graph in a software development environment Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments, (177-184)
- Ottenstein K (1984). Intermediate program representations in compiler construction, ACM SIGPLAN Notices, 19:7, (25-27), Online publication date: 1-Jul-1984.
- Radzikowski P Framework of the decision support expert systems Proceedings of the 16th conference on Winter simulation, (506-515)
- Shapiro D, Dean J and McCune B A knowledge base for supporting an intelligent program editor Proceedings of the 7th international conference on Software engineering, (381-386)
- Barstow D, Duffey R, Smoliar S and Vestal S An automatic programming system to support an experimental science Proceedings of the 6th international conference on Software engineering, (360-366)
- Lieberman H and Hewitt C A session with Tinker Proceedings of the 1980 ACM conference on LISP and functional programming, (90-99)
Recommendations
Automatic Generation of Logical Specifications for Behavioural Models
RENE '24: Proceedings of the 2024 Workshop on Replications and Negative ResultsLogical specifications for behavioural models are crucial for the formal analysis of complex system designs. The automation of obtaining such a specification is essential particularly for promoting logical and deductive methods in software development. ...
Identifying Logical Dependencies from Co-Changing Classes
ENASE 2019: Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software EngineeringEmerging software engineering approaches support the idea that logical dependencies should be included next to structural dependencies in general methods and tools for dependency management. However, logical dependencies are still hard to identify, as ...