Search Sciweavers | Sciweavers

20 search results - page 1 / 4

» ppdp 2009

click to vote

PPDP
2009
Springer

80views Programming Languages» more PPDP 2009»

Making induction manifest in modular ACL2

14 years 9 days ago

Download www.ccs.neu.edu

Carl Eastlund, Matthias Felleisen

claim paper

Read More »

click to vote

PPDP
2009
Springer

144views Programming Languages» more PPDP 2009»

A framework for abstract interpretation of timed concurrent constraint programs

14 years 9 days ago

Download www.lix.polytechnique.fr

Moreno Falaschi, Carlos Olarte, Catuscia Palamides...

claim paper

Read More »

click to vote

PPDP
2009
Springer

81views Programming Languages» more PPDP 2009»

On the expressive power of priorities in CHR

14 years 9 days ago

Download www.uni-ulm.de

Maurizio Gabbrielli, Jacopo Mauro, Maria Chiara Me...

claim paper

Read More »

click to vote

PPDP
2009
Springer

140views Programming Languages» more PPDP 2009»

Alternation as a programming paradigm

14 years 9 days ago

Download www.dbai.tuwien.ac.at

Wolfgang Dvorák, Georg Gottlob, Reinhard Pi...

claim paper

Read More »

click to vote

PPDP
2009
Springer

105views Programming Languages» more PPDP 2009»

Language support for processing distributed ad hoc data

14 years 9 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers