Sciweavers

43 search results - page 1 / 9

» popl 2009

36

POPL
2009
ACM

94views Programming Languages» more POPL 2009»

Local rely-guarantee reasoning

14 years 4 months ago

Local rely-guarantee reasoning

Download www.tti-c.org

Xinyu Feng

claim paper

Read More »

34

POPL
2009
ACM

113views Programming Languages» more POPL 2009»

Classical BI: a logic for reasoning about dualising resources

14 years 4 months ago

Classical BI: a logic for reasoning about dualising resources

Download www.doc.ic.ac.uk

James Brotherston, Cristiano Calcagno

claim paper

Read More »

37

POPL
2009
ACM

102views Programming Languages» more POPL 2009»

A foundation for flow-based program matching: using temporal logic and model checking

14 years 4 months ago

A foundation for flow-based program matching: using temporal logic and model checking

Download www.irit.fr

Damien Doligez, Gilles Muller, Julia L. Lawall, Ju...

claim paper

Read More »

35

POPL
2009
ACM

119views Programming Languages» more POPL 2009»

Modeling abstract types in modules with open existential types

14 years 4 months ago

Modeling abstract types in modules with open existential types

Download gallium.inria.fr

Abstract Types in Modules with Open Existential Types Beno?t Montagu Didier R?my INRIA {Benoit.Montagu, Didier.Remy}@inria.fr We propose F , a calculus of open existential types t...

Benoît Montagu, Didier Rémy

claim paper

Read More »

30

POPL
2009
ACM

124views Programming Languages» more POPL 2009»

A model of cooperative threads

14 years 4 months ago

A model of cooperative threads

Download users.soe.ucsc.edu

We develop a model of concurrent imperative programming with threads. We focus on a small imperative language with cooperative threads which execute without interruption until the...

Gordon D. Plotkin, Martín Abadi

claim paper

Read More »

« Prev « First page 1 / 9 Last » Next »