MEHLICH, M., AND BAXTER, I. Mechanical tool support for high integrity software development. In High Integrity Systems `97 (1997), IEEE Computer Society Press, Los Alamitos, California, USA. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Syntax-Directed Amorphous Slicing - Danicic, Harman, Munro, Binkley.. (Correct)
....application in other transformation programs. For example the side e ect removal tactic removes intraprocedural side e ects, while the dependence reduction tactic reduces the inter dependence between statements. The former may be useful as an enabling step to other transformation based approaches [5, 12, 59, 74], while the latter may be useful in work on transformation based automatic parallelisation [55, 58, 66, 79] The rest of this paper is organised as follows. Section 2 explains why amorphous slice construction is a harder problem than syntax preserving slice construction. Sections 3 and 4 describe ....
Michael Mehlich and Ira Baxter. Mechanical tool support for high integrity software development. In High Integrity Systems `97. IEEE Computer Society Press, Los Alamitos, California, USA, 1997.
GUSTT: An Amorphous Slicing System which Combines Slicing.. - Harman, Munro, Zhang (2001) (3 citations) (Correct)
....transformation programs. For example the side effect removal tactic removes intraprocedural side effects, while the dependence reduction transformation tactic reduces the inter dependence between statements. The former may be useful as an enabling step to other transformation based approaches [2, 6, 23, 29], while the latter may be useful in work on transformation based automatic parallelization [21, 22, 26, 33] The rest of the paper is organised as follows: Section 2 introduces the architecture of the GUSTT system. The Side E ect Removal (SER) and Dependence Reduction Transformation (DRT) ....
Michael Mehlich and Ira Baxter. Mechanical tool support for high integrity software development. In High Integrity Systems `97. IEEE Computer Society Press, Los Alamitos, California, USA, 1997.
Side-Effect Removal Transformation - Harman, Munro, Hu, Zhang (2001) (Correct)
....of side e ects identi ed in the quotation above, but this currently remains a problem for future work. The presence of side e ects inhibits the application of many software engineering techniques, such as symbolic execution [7] slicing [4, 34, 13] partial evaluation [2, 16] and transformation [33, 28, 30], which typically work on side e ect free systems 2 . The presence of side e ects is also widely believed to inhibit program comprehension. For instance, Kernighan and Pike [23] advise abstinence from side e ects, in all but, well understood, special cases, saying Don t use side e ects except ....
Mehlich, M., and Baxter, I. Mechanical tool support for high integrity software development. In High Integrity Systems `97 (1997), IEEE Computer Society Press, Los Alamitos, California, USA.
Amorphous Procedure Extraction - Mark Harman David (Correct)
No context found.
MEHLICH, M., AND BAXTER, I. Mechanical tool support for high integrity software development. In High Integrity Systems `97 (1997), IEEE Computer Society Press, Los Alamitos, California, USA.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC