Search Sciweavers | Sciweavers

10871 search results - page 241 / 2175

» A stable programming language

198

Voted

POPL
2006
ACM

124views Programming Languages» more POPL 2006»

N-synchronous Kahn networks: a relaxed model of synchrony for real-time systems

16 years 5 months ago

Download www.cs.um.edu.mt

Albert Cohen, Marc Duranton, Christine Eisenbeis, ...

claim paper

Read More »

230

click to vote

POPL
2005
ACM

86views Programming Languages» more POPL 2005»

A semantics for procedure local heaps and its abstractions

16 years 5 months ago

Download www.cs.wisc.edu

Jörg Bauer, Noam Rinetzky, Reinhard Wilhelm, ...

claim paper

Read More »

224

click to vote

POPL
2005
ACM

106views Programming Languages» more POPL 2005»

A bisimulation for type abstraction and recursion

16 years 5 months ago

Download www.kb.ecei.tohoku.ac.jp

traction and Recursion Eijiro Sumii Benjamin C. Pierce University of Pennsylvania

Eijiro Sumii, Benjamin C. Pierce

claim paper

Read More »

193

Voted

POPL
2004
ACM

86views Programming Languages» more POPL 2004»

Local reasoning about a copying garbage collector

16 years 5 months ago

Download www.itu.dk

Lars Birkedal, Noah Torp-Smith, John C. Reynolds

claim paper

Read More »

206

Voted

POPL
2002
ACM

92views Programming Languages» more POPL 2002»

Exploiting prolific types for memory management and optimizations

16 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers