Sciweavers

11909 search results - page 182 / 2382

» The Scheme Programming Language

137

POPL
1991
ACM

101views Programming Languages» more POPL 1991»

Dependence Flow Graphs: An Algebraic Approach to Program Dependencies

15 years 10 months ago

Dependence Flow Graphs: An Algebraic Approach to Program Dependencies

Download iss.ices.utexas.edu

Keshav Pingali, Micah Beck, Richard Johnson, Mayan...

claim paper

Read More »

164

ICALP
2009
Springer

99views Programming Languages» more ICALP 2009»

Semilinear Program Feasibility

15 years 9 months ago

Semilinear Program Feasibility

Download www.lix.polytechnique.fr

Manuel Bodirsky, Peter Jonsson, Timo von Oertzen

claim paper

Read More »

212

PLDI
2004
ACM

152views Programming Languages» more PLDI 2004»

Cloning-based context-sensitive pointer alias analysis using binary decision diagrams

15 years 12 months ago

Cloning-based context-sensitive pointer alias analysis using binary decision diagrams

Download suif.stanford.edu

This paper presents the ﬁrst scalable context-sensitive, inclusionbased pointer alias analysis for Java programs. Our approach to context sensitivity is to create a clone of a m...

John Whaley, Monica S. Lam

claim paper

Read More »

264

POPL
2008
ACM

126views Programming Languages» more POPL 2008»

An approach to call-by-name delimited continuations

16 years 6 months ago

An approach to call-by-name delimited continuations

Download pauillac.inria.fr

Hugo Herbelin, Silvia Ghilezan

claim paper

Read More »

254

POPL
2008
ACM

154views Programming Languages» more POPL 2008»

Separation logic, abstraction and inheritance

16 years 6 months ago

Separation logic, abstraction and inheritance

Download www.cl.cam.ac.uk

Matthew J. Parkinson, Gavin M. Bierman

claim paper

Read More »

« Prev « First page 182 / 2382 Last » Next »