JLAPACK / Hawthorne / Washington / DC / Providence / Toulouse / London / San Diego / Broadway / /
Company
IBM / Sun Microsystems / Ryder / Intel / Microsoft / /
Country
France / United States / United Kingdom / /
Currency
USD / / /
Facility
The Pennsylvania State University / Brown University / IBM T.J. Watson Research Center / University Park / Technology Building / University of Tennessy / /
IndustryTerm
software system / software engineering / precise static analysis tool / type-based program analysis tool / software engineering applications / deep analysis tools / system-level applications / security-related technology / goto removal algorithms / goto statement elimination algorithm / indirect call site / stack-inspection-based authorization systems / binary rewriting tool / system software / multi-language analysis tools / software systems / software verification / large systems / jlapack tool / software stack / source-to-source transformation systems / verification processing time / static analysis tools / aplt technology / goto translation algorithm / call site / multi-language software / multi-lingual tool / cqual analysis tool / real world software / analysis tools / software engineering tools / software maintenance / cqual tool / goto elimination algorithm / target software / /
OperatingSystem
XP / Linux / Microsoft Windows / /
Organization
National Science Foundation / Brown University / American National Standards Institute / University of Tennessy / Department of Computer Science and Engineering / The Pennsylvania State University / Department of Computer Science / /
Person
Trent Jaeger Guillaume Marceau / Vugranam Sreedhar / Larry Koved Marco Pistoia Sam / / /
Position
translator / Limitations Our translator / aplt translator / specific aplt translator / Dean / and D. Wagner / Java translator / Java bytecode translator / representative / analysis-preserving translator / language-specific translator / /
Product
Windows XP / /
ProgrammingLanguage
Java / Java bytecode / C / Fortran / Fortran 77 / DC / C++ / /
ProvinceOrState
New York / Pennsylvania / Rhode Island / California / /
The Case for Analysis Preserving Language Transformation Xiaolan Zhang Larry Koved