Search Sciweavers | Sciweavers

40 search results - page 2 / 8

» Proof Nets, Garbage, and Computations

click to vote

GPC
2010
Springer

290views Distributed And Parallel Com...» more GPC 2010»

Actor Garbage Collection Using Vertex-Preserving Actor-to-Object Graph Transformations

13 years 10 months ago

Download wcl.cs.rpi.edu

Abstract. Large-scale distributed computing applications require concurrent programming models that support modular and compositional software development. The actor model supports...

Wei-Jen Wang, Carlos A. Varela, Fu-Hau Hsu, Cheng-...

claim paper

Read More »

click to vote

IWMM
1992
Springer

100views Hardware» more IWMM 1992»

Scalable Distributed Garbage Collection for Systems of Active Objects

13 years 10 months ago

Download osl.cs.uiuc.edu

Abstract. Automatic storage management is important in highly parallel programming environments where large numbers of objects and processes are being constantly created and discar...

Nalini Venkatasubramanian, Gul Agha, Carolyn L. Ta...

claim paper

Read More »

click to vote

TLCA
2005
Springer

128views Theoretical Computer Science» more TLCA 2005»

Naming Proofs in Classical Propositional Logic

13 years 11 months ago

Download www.loria.fr

Abstract. We present a theory of proof denotations in classical propologic. The abstract deﬁnition is in terms of a semiring of weights, and two concrete instances are explored. ...

François Lamarche, Lutz Straßburger

claim paper

Read More »

click to vote

TCS
2011

160views Theoretical Computer Science» more TCS 2011»

A linear algorithm for MLL proof net correctness and sequentialization

13 years 29 days ago