Lecture Notes in Computer Science - Compiler Construction
Latest Publications

TOTAL DOCUMENTS

22
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540254119, 9783540319856
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Jazz: A Tool for Demand-Driven Structural Testing

2005 ◽  
pp. 242-245 ◽  
Author(s):  
Jonathan Misurda ◽  
Jim Clause ◽  
Juliya Reed ◽  
Bruce R. Childers ◽  
Mary Lou Soffa
Keyword(s):  
Structural Testing

scholarly journals Experiences with Enumeration of Integer Projections of Parametric Polytopes

2005 ◽  
pp. 91-105 ◽  
Author(s):  
Sven Verdoolaege ◽  
Kristof Beyls ◽  
Maurice Bruynooghe ◽  
Francky Catthoor

scholarly journals Tiger – An Interpreter Generation Tool

2005 ◽  
pp. 246-249 ◽  
Author(s):  
Kevin Casey ◽  
David Gregg ◽  
M. Anton Ertl

scholarly journals Hob: A Tool for Verifying Data Structure Consistency

2005 ◽  
pp. 237-241 ◽  
Author(s):  
Patrick Lam ◽  
Viktor Kuncak ◽  
Martin Rinard
Keyword(s):  
Data Structure

scholarly journals Generalized Index-Set Splitting

2005 ◽  
pp. 106-120 ◽  
Author(s):  
Christopher Barton ◽  
Arie Tal ◽  
Bob Blainey ◽  
José Nelson Amaral
Keyword(s):  
Index Set ◽  
Set Splitting

scholarly journals Verification of Source Code Transformations by Program Equivalence Checking

2005 ◽  
pp. 221-236 ◽  
Author(s):  
K. C. Shashidhar ◽  
Maurice Bruynooghe ◽  
Francky Catthoor ◽  
Gerda Janssens
Keyword(s):  
Source Code ◽  
Equivalence Checking ◽  
Code Transformations ◽  
Program Equivalence

scholarly journals A Compiler-Based Approach to Data Security

2005 ◽  
pp. 188-203
Author(s):  
F. Li ◽  
G. Chen ◽  
M. Kandemir ◽  
R. Brooks
Keyword(s):  
Data Security

scholarly journals Age-Oriented Concurrent Garbage Collection

2005 ◽  
pp. 121-136 ◽  
Author(s):  
Harel Paz ◽  
Erez Petrank ◽  
Stephen M. Blackburn
Keyword(s):  
Garbage Collection
Load More ...
Sign in / Sign up

Export Citation Format

Share Document