Sciweavers

10575 search results - page 198 / 2115
» Programming Languages
Sort
View
POPL
2010
ACM
15 years 11 months ago
Automatic Numeric Abstractions for Heap-Manipulating Programs
Stephen Magill, Ming-Hsien Tsai, Peter Lee, Yih-Ku...
POPL
2010
ACM
15 years 11 months ago
Modular Session Types for Distributed Object-Oriented Programming
Alexandre Z. Caldeira, António Ravara, Nils...
PLPV
2009
ACM
15 years 11 months ago
Verified programming in Guru
Aaron Stump, Morgan Deters, Adam Petcher, Todd Sch...
PLDI
2006
ACM
15 years 8 months ago
Shared memory programming for large scale machines
Christopher Barton, Calin Cascaval, George Alm&aac...