Search Sciweavers | Sciweavers

153

click to vote

PPDP
2000
Springer

86views Programming Languages» more PPDP 2000»

Justifying proofs using memo tables

15 years 10 months ago

Download www.comp.nus.edu.sg

Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Rama...

claim paper

Read More »

139

click to vote

TOOLS
1997
IEEE

110views Programming Languages» more TOOLS 1997»

An Overview of JB (Jade Bird) Component Library System JBCL

15 years 10 months ago

Download www.jos.org.cn

Keqin Li 0002, Lifeng Guo, Hong Mei, Fuqing Yang

claim paper

Read More »

119

click to vote

PLDI
1995
ACM

87views Programming Languages» more PLDI 1995»

Register Allocation Using Lazy Saves, Eager Restores, and Greedy Shuffling

15 years 10 months ago

Download www.cs.indiana.edu

Robert G. Burger, Oscar Waddell, R. Kent Dybvig

claim paper

Read More »

133

click to vote

POPL
1995
ACM

113views Programming Languages» more POPL 1995»

Demand-driven Computation of Interprocedural Data Flow

15 years 10 months ago

Download www.cs.ucr.edu

Evelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa

claim paper

Read More »

117

click to vote

IFIP
1991
Springer

117views Programming Languages» more IFIP 1991»

An Intelligent Integrated Interactive CAD-A Preliminary Report

15 years 10 months ago

Download www-kasm.nii.ac.jp

Deyi Xue, Hideaki Takeda, Takashi Kiriyama, Tetsuo...

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers