Search Sciweavers | Sciweavers

10575 search results - page 199 / 2115

» T2Script Programming Language

207

click to vote

POPL
2001
ACM

119views Programming Languages» more POPL 2001»

The size-change principle for program termination

16 years 3 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 25 days ago

Download www.cs.cmu.edu

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

claim paper

Read More »

126

Voted

POPL
2010
ACM

186views Programming Languages» more POPL 2010»

Modular Session Types for Distributed Object-Oriented Programming

16 years 25 days ago

Download homepages.di.fc.ul.pt

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

claim paper

Read More »

Voted

PLPV
2009
ACM

80views Programming Languages» more PLPV 2009»

Verified programming in Guru

16 years 10 days 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 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers