Sciweavers

12452 search results - page 233 / 2491
» An exploration of program as language
Sort
View
PPDP
2000
Springer
15 years 10 months ago
Justifying proofs using memo tables
Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Rama...
TOOLS
1997
IEEE
15 years 10 months ago
An Overview of JB (Jade Bird) Component Library System JBCL
Keqin Li 0002, Lifeng Guo, Hong Mei, Fuqing Yang
121
Voted
PLDI
1995
ACM
15 years 10 months ago
Register Allocation Using Lazy Saves, Eager Restores, and Greedy Shuffling
Robert G. Burger, Oscar Waddell, R. Kent Dybvig
POPL
1995
ACM
15 years 10 months ago
Demand-driven Computation of Interprocedural Data Flow
Evelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa