Sciweavers

TOPLAS
1998
45views more  TOPLAS 1998»
14 years 4 days ago
A Region Inference Algorithm
Mads Tofte, Lars Birkedal
TOPLAS
1998
48views more  TOPLAS 1998»
14 years 4 days ago
The Design, Implementation, and Evaluation of Jade
Martin C. Rinard, Monica S. Lam
TOPLAS
1998
36views more  TOPLAS 1998»
14 years 4 days ago
Static Caching for Incremental Computation
Yanhong A. Liu, Scott D. Stoller, Tim Teitelbaum
TOPLAS
1998
49views more  TOPLAS 1998»
14 years 4 days ago
Optimizing Compilation of CLP(R)
Andrew D. Kelly, Kim Marriott, Andrew D. Macdonald...
TOPLAS
1998
55views more  TOPLAS 1998»
14 years 4 days ago
Compositional Verification of Concurrent Systems Using Petri-Net-Based Condensation Rules
Eric Y. T. Juan, Jeffrey J. P. Tsai, Tadao Murata