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

15 years 8 months ago

Download www.di.ens.fr

Giuseppe Castagna, Alain Frisch

claim paper

Read More »

106

click to vote

PPDP
2005
Springer

90views Programming Languages» more PPDP 2005»

Nominal rewriting with name generation: abstraction vs. locality

15 years 8 months ago

Download www.gabbay.org.uk

Maribel Fernández, Murdoch Gabbay

claim paper

Read More »

103

click to vote

PPDP
2005
Springer

82views Programming Languages» more PPDP 2005»

A compositional semantics for CHR

15 years 8 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

15 years 8 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

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers