Sciweavers

10622 search results - page 43 / 2125

» Python Programming Language

85

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 »

109

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 »

128

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 »

100

PPDP
2009
Springer

80views Programming Languages» more PPDP 2009»

Making induction manifest in modular ACL2

15 years 10 months ago

Making induction manifest in modular ACL2

Download www.ccs.neu.edu

Carl Eastlund, Matthias Felleisen

claim paper

Read More »

98

Voted

ERLANG
2009
ACM

152views Programming Languages» more ERLANG 2009»

Automated module interface upgrade

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