Search Sciweavers | Sciweavers

12452 search results - page 281 / 2491

» An exploration of program as language

107

click to vote

POPL
2010
ACM

176views Programming Languages» more POPL 2010»

Automatic Numeric Abstractions for Heap-Manipulating Programs

16 years 4 months ago

Download www.cs.cmu.edu

Stephen Magill, Ming-Hsien Tsai, Peter Lee, Yih-Ku...

claim paper

Read More »

159

click to vote

POPL
2010
ACM

186views Programming Languages» more POPL 2010»

Modular Session Types for Distributed Object-Oriented Programming

16 years 4 months ago

Download homepages.di.fc.ul.pt

Alexandre Z. Caldeira, António Ravara, Nils...

claim paper

Read More »

126

click to vote

PLPV
2009
ACM

80views Programming Languages» more PLPV 2009»

Verified programming in Guru

16 years 3 months ago

Download guru-lang.googlecode.com

Aaron Stump, Morgan Deters, Adam Petcher, Todd Sch...

claim paper

Read More »

108

click to vote

PLDI
2006
ACM

102views Programming Languages» more PLDI 2006»

Shared memory programming for large scale machines

16 years 20 days ago

Download research.microsoft.com

Christopher Barton, Calin Cascaval, George Alm&aac...

claim paper

Read More »

120

click to vote

PLDI
2006
ACM

104views Programming Languages» more PLDI 2006»

Eventrons: a safe programming construct for high-frequency hard real-time applications

16 years 20 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers