Jimple - PDFSEARCH.IO - Document Search Engine

Jimple
Results: 8

#	Item
1	Joogie: From Java through Jimple to Boogie Stephan Arlt Philipp R¨ummer Martin Sch¨af Add to Reading List Source URL: www.philipp.ruemmer.org - Date: 2013-10-21 10:39:21
2	ClosureElimination and DeadCodeElimination c Miguel Garcia, LAMP, EPFL http://lamp.epfl.ch/~magarcia December 4th , 2011 Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2011-12-04 10:16:16 Compiler optimizations Assembly languages Peephole optimization Inline expansion Java bytecode Forth Static single assignment form Jimple Software engineering Computing Programming language theory
3	Dataflow Analyses on ICode c Miguel Garcia, LAMP, EPFL http://lamp.epfl.ch/~magarcia November 28th , 2011 Abstract Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2011-12-04 10:05:00 Subroutines Program analysis Stack ALGOL 68 Scope Reaching definition Jimple Closure Software engineering Computing Computer programming
4	Compiler Analyses for Improved Return Value Prediction Christopher J.F. Pickett Clark Verbrugge Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2004-10-08 23:26:34 Software optimization Cross-platform software Computer performance McGill University Java platform Soot SableVM Memoization Jimple Computing Software Computer programming
5	Microsoft Word - Ausschreibung_SFCgen.docx Add to Reading List Source URL: www.ssw.uni-linz.ac.at Language: English - Date: 2015-01-21 09:18:19 McGill University Soot Industrial automation Programmable logic controller Sequential function chart Static program analysis Jimple C Software Computing Technology
6	Using reaching-defs and type-flow analyses to obtain three-address code in the Scala compiler c Miguel Garcia, LAMP, ´ Ecole Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2010-04-25 05:49:42 Java platform Cross-platform software Assembly languages Java bytecode Jimple Java virtual machine Subroutine Java Stack-oriented programming language Computing Software engineering Computer programming
7	The Soot framework for Java program analysis: a retrospective Patrick Lam∗ , Eric Bodden† , Ondˇrej Lhot´ak∗ and Laurie Hendren§ ∗ † Add to Reading List Source URL: 21w.ca Language: English - Date: 2014-02-12 18:13:43 Compiler construction Java platform McGill University Soot Computing platforms Jimple Java Compiler Bytecode Software Computing Cross-platform software
8	PDF Document Add to Reading List Source URL: plg.uwaterloo.ca Language: English - Date: 2011-10-05 12:30:36 Java platform Java programming language McGill University Compiler construction Soot Jimple Java Compiler Bytecode Software Computing Cross-platform software