Sciweavers

10585 search results - page 39 / 2117

» The Orc Programming Language

103

PLDI
2009
ACM

117views Programming Languages» more PLDI 2009»

Encoding information flow in Aura

15 years 10 months ago

Encoding information flow in Aura

Download www.andrew.cmu.edu

Limin Jia, Steve Zdancewic

claim paper

Read More »

99

PLDI
2009
ACM

114views Programming Languages» more PLDI 2009»

An implementation and semantics for transactional memory introspection in Haskell

15 years 10 months ago

An implementation and semantics for transactional memory introspection in Haskell

Download www.ru.is

Arnar Birgisson, Úlfar Erlingsson

claim paper

Read More »

110

PLPV
2009
ACM

87views Programming Languages» more PLPV 2009»

Pragmatic equivalence and safety checking in Cryptol

15 years 10 months ago

Pragmatic equivalence and safety checking in Cryptol

Download www.galois.com

Levent Erkök, John Matthews

claim paper

Read More »

81

Voted

ESOP
2009
Springer

75views Programming Languages» more ESOP 2009»

A Theory of Non-monotone Memory (Or: Contexts for free)

15 years 10 months ago

A Theory of Non-monotone Memory (Or: Contexts for free)

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

Eijiro Sumii

claim paper

Read More »

106

Voted

TOOLS
2009
IEEE

149views Programming Languages» more TOOLS 2009»

CIF: A Framework for Managing Integrity in Aspect-Oriented Composition

15 years 10 months ago

CIF: A Framework for Managing Integrity in Aspect-Oriented Composition

Download www.comp.lancs.ac.uk

Andrew Camilleri, Geoffrey Coulson, Lynne Blair

claim paper

Read More »

« Prev « First page 39 / 2117 Last » Next »