Sciweavers

10871 search results - page 166 / 2175

» A stable programming language

69

POPL
2008
ACM

154views Programming Languages» more POPL 2008»

Separation logic, abstraction and inheritance

14 years 10 months ago

Separation logic, abstraction and inheritance

Download www.cl.cam.ac.uk

Matthew J. Parkinson, Gavin M. Bierman

claim paper

Read More »

69

POPL
2007
ACM

102views Programming Languages» more POPL 2007»

Secure implementations of typed channel abstractions

14 years 10 months ago

Secure implementations of typed channel abstractions

Download www.dsi.unive.it

Michele Bugliesi, Marco Giunti

claim paper

Read More »

70

POPL
2007
ACM

97views Programming Languages» more POPL 2007»

First-class nonstandard interpretations by opening closures

14 years 10 months ago

First-class nonstandard interpretations by opening closures

Download www.bcl.hamilton.ie

Jeffrey Mark Siskind, Barak A. Pearlmutter

claim paper

Read More »

68

POPL
2006
ACM

98views Programming Languages» more POPL 2006»

Interruptible iterators

14 years 10 months ago

Interruptible iterators

Download www.cs.cornell.edu

Jed Liu, Aaron Kimball, Andrew C. Myers

claim paper

Read More »

83

POPL
2005
ACM

108views Programming Languages» more POPL 2005»

A framework for numeric analysis of array operations

14 years 10 months ago

A framework for numeric analysis of array operations

Download www.cs.tau.ac.il

Denis Gopan, Thomas W. Reps, Shmuel Sagiv

claim paper

Read More »

« Prev « First page 166 / 2175 Last » Next »