scientific article; zbMATH DE number 1942450

MaRDI QIDQ4409150zbMATH OpenFDO

Authors Jérôme Siméon, Philip Wadler

Publication date 30 June 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2441/24410021.htm

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• A formal and unified description of XML manipulation languages
• scientific article; zbMATH DE number 2043533
• Programming Languages and Systems
• The DSD schema language
• XML schema, tree logic and sheaves automata

Cited in

(29)

• XML11 -- an abstract windowing protocol
• XML in a nutshell. Transl. from the Engl. by Kathrin Lichtenberg \& Jochen Wiedmann
• Environment classifiers
• Bigraphs and transitions
• The M-calculus: a higher-order distributed process calculus
• A generic approach to the static analysis of concurrent programs with procedures
• Discovering affine equalities using random interpretation
• Bitwidth aware global register allocation
• Folklore confirmed
• New results on the computability and complexity of points-to analysis
• Incremental algorithms for dispatching in dynamically typed languages
• From control effects to typed continuation passing
• Coercive subtyping for the calculus of constructions (extended abstract)
• A type theory for memory allocation and data layout
• Static prediction of heap space usage for first-order functional programs
• Ownership types for object encapsulation
• Guarded recursive datatype constructors
• A type system for higher-order modules
• Pure patterns type systems
• scientific article; zbMATH DE number 2088869 (Why is no real title available?)
• Interpretation of the W3C XML schema object model
• A formal foundation for XrML
• scientific article; zbMATH DE number 2024804 (Why is no real title available?)
• scientific article; zbMATH DE number 1471305 (Why is no real title available?)
• scientific article; zbMATH DE number 1565420 (Why is no real title available?)
• Efficient algorithms for isomorphisms of simple types
• A descriptive type foundation for RDF Schema
• On the tree-transformation power of XSLT
• Query triggers for XML DBMS: Efficient implementation based on shadow mechanism

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4409150)