Advanced Slicing of Sequential and Concurrent

First Page		Document Content
Date: 2010-11-02 14:59:32 Debugging Program analysis Program slicing Program transformation Software maintenance Compilers GrammaTech Data-flow analysis Slicing Computing Software engineering Programming language theory		Advanced Slicing of Sequential and Concurrent Add to Reading List Source URL: www.opus-bayern.de Download Document from Source Website File Size: 2,67 MB Share Document on Facebook

	Under consideration for publication in Theory and Practice of Logic Programming 1 Horn Clauses as an Intermediate Representation for Program Analysis and Transformation∗ DocID: 1xUvR - View Document
	Numerical Accuracy Improvement by Interprocedural Program Transformation Nasrine DAMOUCHE Matthieu MARTEL DocID: 1xUn2 - View Document
	Analyzing array manipulating programs by program transformation J. Robert M. Cornish1 , Graeme Gange1 , Jorge A. Navas2 , Peter Schachte1 , Harald Søndergaard1, and Peter J. Stuckey1 1 DocID: 1xTMf - View Document
	PDF Document DocID: 1vS6Y - View Document
	Armstrong Police Cyber Forensics Division Recommendation for the State Transformation in Action Recognition (STAR) program. 1. How long has the program operated? What was the month and year of initiation? The Armstrong S DocID: 1ugL5 - View Document