Search Sciweavers | Sciweavers

18 search results - page 1 / 4

» ppdp 2005

click to vote

PPDP
2005
Springer

103views Programming Languages» more PPDP 2005»

A gentle introduction to semantic subtyping

13 years 10 months ago

Download www.di.ens.fr

Giuseppe Castagna, Alain Frisch

claim paper

Read More »

click to vote

PPDP
2005
Springer

90views Programming Languages» more PPDP 2005»

Nominal rewriting with name generation: abstraction vs. locality

13 years 10 months ago

Download www.gabbay.org.uk

Maribel Fernández, Murdoch Gabbay

claim paper

Read More »

click to vote

PPDP
2005
Springer

82views Programming Languages» more PPDP 2005»

A compositional semantics for CHR

13 years 10 months ago

Download tocl.acm.org

Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiar...

claim paper

Read More »

click to vote

PPDP
2005
Springer

132views Programming Languages» more PPDP 2005»

Abstract interpretation for constraint handling rules

13 years 10 months ago

Download people.cs.kuleuven.be

Tom Schrijvers, Peter J. Stuckey, Gregory J. Duck

claim paper

Read More »

click to vote

PPDP
2005
Springer

72views Programming Languages» more PPDP 2005»

Timed constraint programming: a declarative approach to usage control

13 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers