Programming Languages

Load distribution is one of the main design issues that arise with respect to efficient resource management in distributed systems. Various load distribution techniques have been d...

Alexandros Karagkasidis

claim paper

Read More »

31

click to vote

PLANX
2007

109views Programming Languages» more PLANX 2007»

Deciding Equivalence of Top-Down XML Transformations in Polynomial Time

14 years 1 months ago

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 »

32

click to vote

PLANX
2007

79views Programming Languages» more PLANX 2007»

LINQ to XSD

14 years 1 months ago

Download aspalliance.com

Ralf Lämmel

claim paper

Read More »

25

click to vote

PLANX
2007

73views Programming Languages» more PLANX 2007»

XPath Leashed

14 years 1 months ago

Download www.di.unipi.it

Christoph Koch

claim paper

Read More »

39

click to vote

PLANX
2007

117views Programming Languages» more PLANX 2007»

XML Transformation Language Based on Monadic Second Order Logic

14 years 1 months ago

Download arbre.is.s.u-tokyo.ac.jp

Although monadic second-order logic (MSO) has been a foundation of XML queries, little work has attempted to take MSO formulae themselves as a programming construct. Indeed, MSO f...

Kazuhiro Inaba, Haruo Hosoya

claim paper

Read More »

54

click to vote

PLANX
2007

132views Programming Languages» more PLANX 2007»

XPath Typing Using a Modal Logic with Converse for Finite Trees

14 years 1 months ago

Download wam.inrialpes.fr

We present an algorithm to solve XPath decision problems under regular tree type constraints and show its use to statically typecheck XPath queries. To this end, we prove the deci...

Pierre Genevès, Nabil Layaïda, Alan Sc...

claim paper

Read More »

31

click to vote

PLANX
2007

89views Programming Languages» more PLANX 2007»

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

14 years 1 months ago

Download www.cis.upenn.edu

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

claim paper