Search Sciweavers | Sciweavers

10575 search results - page 198 / 2115

» Programming Languages

104

click to vote

POPL
2010
ACM

176views Programming Languages» more POPL 2010»

Automatic Numeric Abstractions for Heap-Manipulating Programs

16 years 3 months ago

Download www.cs.cmu.edu

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

claim paper

Read More »

153

Voted

POPL
2010
ACM

186views Programming Languages» more POPL 2010»

Modular Session Types for Distributed Object-Oriented Programming

16 years 3 months ago

Download homepages.di.fc.ul.pt

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

claim paper

Read More »

118

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 »

click to vote

PLDI
2006
ACM

102views Programming Languages» more PLDI 2006»

Shared memory programming for large scale machines

16 years 2 days ago

Download research.microsoft.com

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

claim paper

Read More »

110

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 2 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers