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

13 years 11 months 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

13 years 11 months 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

13 years 11 months 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

13 years 11 months 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

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers