Search Sciweavers | Sciweavers

10871 search results - page 234 / 2175

» A stable programming language

222

Voted

POPL
2001
ACM

119views Programming Languages» more POPL 2001»

The size-change principle for program termination

16 years 5 months ago

Download www.ccs.neu.edu

Chin Soon Lee, Neil D. Jones, Amir M. Ben-Amram

claim paper

Read More »

Voted

POPL
2010
ACM

176views Programming Languages» more POPL 2010»

Automatic Numeric Abstractions for Heap-Manipulating Programs

16 years 2 months ago

Download www.cs.cmu.edu

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

claim paper

Read More »

135

click to vote

POPL
2010
ACM

186views Programming Languages» more POPL 2010»

Modular Session Types for Distributed Object-Oriented Programming

16 years 2 months ago

Download homepages.di.fc.ul.pt

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

claim paper

Read More »

102

Voted

PLPV
2009
ACM

80views Programming Languages» more PLPV 2009»

Verified programming in Guru

16 years 1 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

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers