Education | Sciweavers

23

click to vote

CORR
2009
Springer

85views Education» more CORR 2009»

Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language

13 years 5 months ago

Download homepages.di.fc.ul.pt

Vasco Thudichum Vasconcelos, Francisco Martins, Ti...

claim paper

Read More »

21

click to vote

CORR
2009
Springer

87views Education» more CORR 2009»

A Concurrent Language with a Uniform Treatment of Regions and Locks

13 years 5 months ago

Download www.softlab.ntua.gr

A challenge for programming language research is to design and implement multi-threaded low-level languages providing static guarantees for memory safety and freedom from data rac...

Prodromos Gerakios, Nikolaos Papaspyrou, Konstanti...

claim paper

Read More »

17

click to vote

CORR
2009
Springer

67views Education» more CORR 2009»

Towards the Safe Programming of Wireless Sensor Networks

13 years 5 months ago

Download www.dcc.fc.up.pt

Francisco Martins, Luís M. B. Lopes, Jo&ati...

claim paper

Read More »

20

click to vote

CORR
2009
Springer

100views Education» more CORR 2009»

Programming Idioms for Transactional Events

13 years 5 months ago

Download wasp.cs.washington.edu

Transactional events (TE) are an extension of Concurrent ML (CML), a programming model for synchronous message-passing. Prior work has focused on TE's formal semantics and it...

Matthew Kehrt, Laura Effinger-Dean, Michael Schmit...

claim paper

Read More »

19

click to vote

CORR
2009
Springer

95views Education» more CORR 2009»

Execution Models for Choreographies and Cryptoprotocols

13 years 5 months ago

Download web.cs.wpi.edu

A choreography describes a transaction in which several principals interact. Since choreographies frequently describe business processes affecting substantial assets, we need a se...

Marco Carbone, Joshua D. Guttman

claim paper

Read More »

18

click to vote

CORR
2009
Springer

67views Education» more CORR 2009»

Principal Typings in a Restricted Intersection Type System for Beta Normal Forms with De Bruijn Indices

13 years 5 months ago

Download www.mat.unb.br

Daniel Lima Ventura, Mauricio Ayala-Rincón,...

claim paper

Read More »

14

click to vote

CORR
2009
Springer

69views Education» more CORR 2009»

Extending Context-Sensitivity in Term Rewriting

13 years 5 months ago

Download www.logic.at

Bernhard Gramlich, Felix Schernhammer

claim paper

Read More »

25

click to vote

CORR
2009
Springer

109views Education» more CORR 2009»

Extensional and Intensional Strategies

13 years 5 months ago

Download www.loria.fr

on of abstract strategies which is extensional in the sense that a strategy is defined explicitly of derivations of an abstract reduction system. We then move to a more intensional...

Tony Bourdier, Horatiu Cirstea, Daniel J. Doughert...

claim paper

Read More »

15

click to vote

CORR
2009
Springer

86views Education» more CORR 2009»

Stream Productivity by Outermost Termination

13 years 5 months ago