Article in Proceedings INPROC-2007-137

BibliographyStaiger, Stefan; Vogel, Gunther; Keul, Steffen; Wiebe, Eduard: Interprocedural Static Single Assignment Form.
In: Proceedings of the 14th Working Conference on Reverse Engineering (WCRE), 28-31 October 2007, Vancouver, BC, Canada.
University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology.
pp. 1-10, english.
IEEE Computer Society, October 2007.
Article in Proceedings (Conference Paper).
CorporationIEEE Computer Society
CR-SchemaD.2.7 (Software Engineering Distribution, Maintenance, and Enhancement)
 F.3.2 (Semantics of Programming Languages)
KeywordsSSA form; data flow; static interprocedural analysis; Bauhaus
Abstract

no abstract available

Department(s)University of Stuttgart, Institute of Software Technology, Programming Languages and Compilers
Entry dateJune 30, 2010
   Publ. Institute   Publ. Computer Science