Sciweavers

9 search results - page 1 / 2

» planx 2007

101

PLANX
2007

73views Programming Languages» more PLANX 2007»

15 years 4 months ago

Download www.di.unipi.it

Christoph Koch

claim paper

Read More »

113

PLANX
2007

79views Programming Languages» more PLANX 2007»

15 years 4 months ago

Download aspalliance.com

Ralf Lämmel

claim paper

Read More »

103

PLANX
2007

73views Programming Languages» more PLANX 2007»

XCentric: A Logic-Programming Language for XML Processing

15 years 4 months ago

XCentric: A Logic-Programming Language for XML Processing

Download www.dcc.fc.up.pt

Jorge Coelho, Mário Florido

claim paper

Read More »

100

PLANX
2007

89views Programming Languages» more PLANX 2007»

A Logic Your Typechecker Can Count On: Unordered Tree Types in Practice

15 years 4 months ago

A Logic Your Typechecker Can Count On: Unordered Tree Types in Practice

Download www.cis.upenn.edu

J. Nathan Foster, Benjamin C. Pierce, Alan Schmitt

claim paper

Read More »

113

PLANX
2007

109views Programming Languages» more PLANX 2007»

Deciding Equivalence of Top-Down XML Transformations in Polynomial Time

15 years 4 months ago

Deciding Equivalence of Top-Down XML Transformations in Polynomial Time

Download www2.in.tum.de

Many useful XML transformations can be formulated through deterministic top-down tree transducers. A canonical form for such transducers is presented which allows to decide equiva...

Sebastian Maneth, Helmut Seidl

claim paper

Read More »

« Prev « First page 1 / 2 Last » Next »