Sciweavers

10666 search results - page 164 / 2134

» Quantum programming languages

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 »

81

POPL
2005
ACM

123views Programming Languages» more POPL 2005»

The Java memory model

14 years 10 months ago

The Java memory model

Download rsim.cs.illinois.edu

Jeremy Manson, William Pugh, Sarita V. Adve

claim paper

Read More »

77

POPL
2005
ACM

135views Programming Languages» more POPL 2005»

Separation logic and abstraction

14 years 10 months ago

Separation logic and abstraction

Download www.cl.cam.ac.uk

Matthew J. Parkinson, Gavin M. Bierman

claim paper

Read More »

« Prev « First page 164 / 2134 Last » Next »