Software Engineering and Methodology (TOSEM)


Search Issue
enter search term and/or author name


ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 3 Issue 1, Jan. 1994

The cost of selective recompilation and environment processing
Annette Weinert, Walter Tichy, Rolf Adams
Pages: 3-28
DOI: 10.1145/174634.174637
When a single software module in a large system is modified, a potentially large number of other modules may have to be recompiled. By reducing both the number of compilations and the amount of input processed by each compilation run, the...

Double iterative framework for flow-sensitive interprocedural data flow analysis
István Forgács
Pages: 29-55
DOI: 10.1145/174634.174635
Compiler optimization, parallel processing, data flow testing, and symbolic debugging can benefit from interprocedural data flow analysis. However, the live, reaching definition, and most summary data flow problems are theoretically intractable...

Object-oriented logical specification of time-critical systems
Angelo Morzenti, Pierluigi San Pietro
Pages: 56-98
DOI: 10.1145/174634.174636
We define TRIO+, an object-oriented logical language for modular system specification. TRIO+ is based on TRIO, a first-order temporal language that is well suited to the specification of embedded and...