Sciweavers

10622 search results - page 43 / 2125

» Python Programming Language

51

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 »

69

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 »

80

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 »

61

PPDP
2009
Springer

80views Programming Languages» more PPDP 2009»

Making induction manifest in modular ACL2

15 years 4 months ago

Making induction manifest in modular ACL2

Download www.ccs.neu.edu

Carl Eastlund, Matthias Felleisen

claim paper

Read More »

59

ERLANG
2009
ACM

152views Programming Languages» more ERLANG 2009»

Automated module interface upgrade

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