Search Sciweavers | Sciweavers

10585 search results - page 223 / 2117

» The Orc Programming Language

click to vote

POPL
2001
ACM

119views Programming Languages» more POPL 2001»

The size-change principle for program termination

14 years 9 months ago

Download www.ccs.neu.edu

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

claim paper

Read More »

click to vote

POPL
2010
ACM

176views Programming Languages» more POPL 2010»

Automatic Numeric Abstractions for Heap-Manipulating Programs

14 years 6 months ago

Download www.cs.cmu.edu

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

claim paper

Read More »

click to vote

POPL
2010
ACM

186views Programming Languages» more POPL 2010»

Modular Session Types for Distributed Object-Oriented Programming

14 years 6 months ago

Download homepages.di.fc.ul.pt

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

claim paper

Read More »

click to vote

PLPV
2009
ACM

80views Programming Languages» more PLPV 2009»

Verified programming in Guru

14 years 6 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

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers