Lecture Notes in Computer Science - Compiler Construction
Latest Publications

TOTAL DOCUMENTS

13
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642286513, 9783642286520
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis

2012 ◽  
pp. 144-164 ◽  
Author(s):  
Jing Yang ◽  
Gogul Balakrishnan ◽  
Naoto Maeda ◽  
Franjo Ivančić ◽  
Aarti Gupta ◽  
...  
Keyword(s):  
Program Analysis ◽  
Model Construction ◽  
Object Model

scholarly journals Programming Paradigm Driven Heap Analysis

2012 ◽  
pp. 41-60
Author(s):  
Mark Marron ◽  
Ondřej Lhoták ◽  
Anindya Banerjee
Keyword(s):  
Programming Paradigm ◽  
Heap Analysis

scholarly journals Compiler Support for Fine-Grain Software-Only Checkpointing

2012 ◽  
pp. 200-219 ◽  
Author(s):  
Chuck Zhao ◽  
J. Gregory Steffan ◽  
Cristiana Amza ◽  
Allan Kielstra
Keyword(s):  
Compiler Support ◽  
Fine Grain

scholarly journals A New Method for Program Inversion

2012 ◽  
pp. 81-100 ◽  
Author(s):  
Cong Hou ◽  
George Vulov ◽  
Daniel Quinlan ◽  
David Jefferson ◽  
Richard Fujimoto ◽  
...  
Keyword(s):  
New Method ◽  
Program Inversion

scholarly journals Analytical Bounds for Optimal Tile Size Selection

2012 ◽  
pp. 101-121 ◽  
Author(s):  
Jun Shirako ◽  
Kamal Sharma ◽  
Naznin Fauzia ◽  
Louis-Noël Pouchet ◽  
J. Ramanujam ◽  
...  
Keyword(s):  
Size Selection ◽  
Tile Size
Load More ...
Sign in / Sign up

Export Citation Format

Share Document