Sciweavers

10622 search results - page 43 / 2125

» Python Programming Language

124

Voted

ESOP
2009
Springer

75views Programming Languages» more ESOP 2009»

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

16 years 1 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 »

147

Voted

TOOLS
2009
IEEE

149views Programming Languages» more TOOLS 2009»

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

16 years 1 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 »

174

Voted

TOOLS
2009
IEEE

232views Programming Languages» more TOOLS 2009»

Flow-Centric, Back-in-Time Debugging

16 years 1 months ago

Flow-Centric, Back-in-Time Debugging

Download scg.unibe.ch

Adrian Lienhard, Julien Fierz, Oscar Nierstrasz

claim paper

Read More »

137

PPDP
2009
Springer

80views Programming Languages» more PPDP 2009»

Making induction manifest in modular ACL2

16 years 1 months ago

Making induction manifest in modular ACL2

Download www.ccs.neu.edu

Carl Eastlund, Matthias Felleisen

claim paper

Read More »

136

Voted

ERLANG
2009
ACM

152views Programming Languages» more ERLANG 2009»

Automated module interface upgrade

16 years 1 months ago

Automated module interface upgrade

Download www.erlang-factory.com

László Lövei

claim paper

Read More »

« Prev « First page 43 / 2125 Last » Next »