Sciweavers

27119 search results - page 38 / 5424

» Languages

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 »

111

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 »

122

Voted

TOOLS
2009
IEEE

232views Programming Languages» more TOOLS 2009»

Flow-Centric, Back-in-Time Debugging

15 years 10 months ago

Flow-Centric, Back-in-Time Debugging

Download scg.unibe.ch

Adrian Lienhard, Julien Fierz, Oscar Nierstrasz

claim paper

Read More »

« Prev « First page 38 / 5424 Last » Next »