Sciweavers

10871 search results - page 45 / 2175

» A stable programming language

19

PLPV
2009
ACM

87views Programming Languages» more PLPV 2009»

Pragmatic equivalence and safety checking in Cryptol

14 years 2 months ago

Pragmatic equivalence and safety checking in Cryptol

Download www.galois.com

Levent Erkök, John Matthews

claim paper

Read More »

21

ESOP
2009
Springer

75views Programming Languages» more ESOP 2009»

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

14 years 2 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 »

19

TOOLS
2009
IEEE

149views Programming Languages» more TOOLS 2009»

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

14 years 2 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 »

25

TOOLS
2009
IEEE

232views Programming Languages» more TOOLS 2009»

Flow-Centric, Back-in-Time Debugging

14 years 2 months ago

Flow-Centric, Back-in-Time Debugging

Download scg.unibe.ch

Adrian Lienhard, Julien Fierz, Oscar Nierstrasz

claim paper

Read More »

17

PPDP
2009
Springer

80views Programming Languages» more PPDP 2009»

Making induction manifest in modular ACL2

14 years 2 months ago

Making induction manifest in modular ACL2

Download www.ccs.neu.edu

Carl Eastlund, Matthias Felleisen

claim paper

Read More »

« Prev « First page 45 / 2175 Last » Next »