Sciweavers

10575 search results - page 140 / 2115
» Programming Languages
Sort
View
195
Voted
POPL
2007
ACM
16 years 2 months ago
First-class nonstandard interpretations by opening closures
Jeffrey Mark Siskind, Barak A. Pearlmutter
POPL
2006
ACM
16 years 2 months ago
Interruptible iterators
Jed Liu, Aaron Kimball, Andrew C. Myers
POPL
2005
ACM
16 years 2 months ago
A framework for numeric analysis of array operations
Denis Gopan, Thomas W. Reps, Shmuel Sagiv
POPL
2005
ACM
16 years 2 months ago
The Java memory model
Jeremy Manson, William Pugh, Sarita V. Adve
POPL
2005
ACM
16 years 2 months ago
Separation logic and abstraction
Matthew J. Parkinson, Gavin M. Bierman