Search Sciweavers | Sciweavers

27

click to vote

PPDP
2000
Springer

86views Programming Languages» more PPDP 2000»

Justifying proofs using memo tables

14 years 2 months ago

Download www.comp.nus.edu.sg

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

claim paper

Read More »

35

click to vote

TOOLS
1997
IEEE

110views Programming Languages» more TOOLS 1997»

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

14 years 2 months ago

Download www.jos.org.cn

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

claim paper

Read More »

25

click to vote

PLDI
1995
ACM

87views Programming Languages» more PLDI 1995»

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

14 years 2 months ago

Download www.cs.indiana.edu

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

claim paper

Read More »

26

click to vote

POPL
1995
ACM

113views Programming Languages» more POPL 1995»

Demand-driven Computation of Interprocedural Data Flow

14 years 2 months ago

Download www.cs.ucr.edu

Evelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa

claim paper

Read More »

20

click to vote

IFIP
1991
Springer

117views Programming Languages» more IFIP 1991»

An Intelligent Integrated Interactive CAD-A Preliminary Report

14 years 2 months ago

Download www-kasm.nii.ac.jp

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

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers