Sciweavers

10575 search results - page 26 / 2115

» Programming Languages

63

Voted

PLDI
2009
ACM

114views Programming Languages» more PLDI 2009»

An implementation and semantics for transactional memory introspection in Haskell

15 years 4 months ago

An implementation and semantics for transactional memory introspection in Haskell

Download www.ru.is

Arnar Birgisson, Úlfar Erlingsson

claim paper

Read More »

76

PLPV
2009
ACM

87views Programming Languages» more PLPV 2009»

Pragmatic equivalence and safety checking in Cryptol

15 years 4 months ago

Pragmatic equivalence and safety checking in Cryptol

Download www.galois.com

Levent Erkök, John Matthews

claim paper

Read More »

49

ESOP
2009
Springer

75views Programming Languages» more ESOP 2009»

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

15 years 4 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 »

67

TOOLS
2009
IEEE

149views Programming Languages» more TOOLS 2009»

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

15 years 4 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 »

79

TOOLS
2009
IEEE

232views Programming Languages» more TOOLS 2009»

Flow-Centric, Back-in-Time Debugging

15 years 4 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 26 / 2115 Last » Next »