Search Sciweavers | Sciweavers

10575 search results - page 264 / 2115

» Programming Languages

125

click to vote

PPDP
2005
Springer

103views Programming Languages» more PPDP 2005»

A gentle introduction to semantic subtyping

15 years 12 months ago

Download www.di.ens.fr

Giuseppe Castagna, Alain Frisch

claim paper

Read More »

131

click to vote

PPDP
2005
Springer

82views Programming Languages» more PPDP 2005»

A compositional semantics for CHR

15 years 12 months ago

Download tocl.acm.org

Giorgio Delzanno, Maurizio Gabbrielli, Maria Chiar...

claim paper

Read More »

135

Voted

PPDP
2005
Springer

90views Programming Languages» more PPDP 2005»

Nominal rewriting with name generation: abstraction vs. locality

15 years 12 months ago

Download www.gabbay.org.uk

Maribel Fernández, Murdoch Gabbay

claim paper

Read More »

136

Voted

PPDP
2005
Springer

132views Programming Languages» more PPDP 2005»

Abstract interpretation for constraint handling rules

15 years 12 months ago

Download people.cs.kuleuven.be

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

claim paper

Read More »

125

click to vote

SIGADA
2005
Springer

78views Programming Languages» more SIGADA 2005»

Scheduling and memory requirements analysis with AADL

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers