Deciding equivalence of finite tree automata
SIAM Journal on Computing
Regular expressions into finite automata
Theoretical Computer Science
Statically checkable pattern abstractions
ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming
World Wide Web Journal - Special issue on XML: principles, tools, and techniques
WWW '99 Proceedings of the eighth international conference on World Wide Web
Haskell and XML: generic combinators or type-based translation?
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Anytime, anywhere: modal logics for mobile ambients
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Typechecking for XML transformers
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
DTD inference for views of XML data
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Expressive and efficient pattern languages for tree-structured data (extended abstract)
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
DSD: A schema language for XML
FMSP '00 Proceedings of the third workshop on Formal methods in software practice
Regular expression types for XML
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Regular expression pattern matching for XML
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
POPL '01 Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Static validation of dynamically generated HTML
PASTE '01 Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Towards static type checking for XSLT
DocEng '01 Proceedings of the 2001 ACM Symposium on Document engineering
Types and programming languages
Types and programming languages
ACM Transactions on Internet Technology (TOIT)
The Definition of Standard ML
POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
LICS '02 Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science
Transformation of Documents and Schemas by Patterns and Contextual Conditions
PODP '96 Proceedings of the Third International Workshop on Principles of Document Processing
Compilation of Non-Linear, Second Order Patterns on S-Expressions
PLILP '90 Proceedings of the 2nd International Workshop on Programming Language Implementation and Logic Programming
Using YAT to Build a Web Server
WebDB '98 Selected papers from the International Workshop on The World Wide Web and Databases
XDuce: A Typed XML Processing Language (Preliminary Report)
Selected papers from the Third International Workshop WebDB 2000 on The World Wide Web and Databases
Locating Matches of Tree Patterns in Forests
Proceedings of the 18th Conference on Foundations of Software Technology and Theoretical Computer Science
Extending Java for high-level Web service construction
ACM Transactions on Programming Languages and Systems (TOPLAS)
Regular expression pattern matching for XML
Journal of Functional Programming
A typed representation for HTML and XML documents in Haskell
Journal of Functional Programming
Boolean operations for attribute-element constraints
CIAA'03 Proceedings of the 8th international conference on Implementation and application of automata
CDuce: an XML-centric general-purpose language
ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
Semantic types: a fresh look at the ideal model for types
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Static Analysis of XML Transformations in Java
IEEE Transactions on Software Engineering
Proceedings of the ninth ACM SIGPLAN international conference on Functional programming
Binary queries for document trees
Nordic Journal of Computing
Behavioral reactivity and real time programming in XML: functional programming meets SMIL animation
Proceedings of the 2004 ACM symposium on Document engineering
Web programming in Scheme with LAML
Journal of Functional Programming
Parametric polymorphism for XML
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Interoperability among independently evolving web services
Proceedings of the 5th ACM/IFIP/USENIX international conference on Middleware
Frontiers of tractability for typechecking simple XML transformations
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
XJ: facilitating XML processing in Java
WWW '05 Proceedings of the 14th international conference on World Wide Web
Static approximation of dynamically generated Web pages
WWW '05 Proceedings of the 14th international conference on World Wide Web
Practical type checking of functions defined on context-free languages
Journal of Computer Science and Technology
XML type checking with macro tree transducers
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A gentle introduction to semantic subtyping
PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
Haskell server pages through dynamic loading
Proceedings of the 2005 ACM SIGPLAN workshop on Haskell
Polymorphic regular tree types and patterns
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Taxonomy of XML schema languages using formal language theory
ACM Transactions on Internet Technology (TOIT)
Type inference for unique pattern matching
ACM Transactions on Programming Languages and Systems (TOPLAS)
An efficient algorithm for XML type projection
Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
Programming with heterogeneous structures: manipulating XML data using bondi
ACSC '06 Proceedings of the 29th Australasian Computer Science Conference - Volume 48
Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming
Ocsigen: typing web interaction with objective Caml
Proceedings of the 2006 workshop on ML
MetaOCaml server pages: web publishing as staged computation
Science of Computer Programming - Special issue on the first MetaOCaml workshop 2004
Static analysis for path correctness of XML queries
Journal of Functional Programming
Expressiveness and complexity of XML Schema
ACM Transactions on Database Systems (TODS)
A framework for transformations of XML within the binary domain
IMSA'06 Proceedings of the 24th IASTED international conference on Internet and multimedia systems and applications
XML access control using static analysis
ACM Transactions on Information and System Security (TISSEC)
Regular expression filters for XML
Journal of Functional Programming
Context logic as modal logic: completeness and parametric inexpressivity
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Frontiers of tractability for typechecking simple XML transformations
Journal of Computer and System Sciences
Aligning development tools with the way programmers think about code changes
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Bidirectional interpretation of XQuery
Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
On deciding well-definedness for query languages on trees
Journal of the ACM (JACM)
Static validation of XSL transformations
ACM Transactions on Programming Languages and Systems (TOPLAS)
A crash course on database queries
Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Combination of transformation and schema languages described by a complete formal semantics
Proceedings of the 2007 ACM symposium on Document engineering
Why it's nice to be quoted: quasiquoting for haskell
Haskell '07 Proceedings of the ACM SIGPLAN workshop on Haskell workshop
Toward microbenchmarking XQuery
Information Systems
A network programming language based on concurrent processes and regular expressions
SE'07 Proceedings of the 25th conference on IASTED International Multi-Conference: Software Engineering
Journal of Functional Programming
XPi: A typed process calculus for XML messaging
Science of Computer Programming
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Typechecking top-down XML transformations: Fixed input or output schemas
Information and Computation
Pattern by example: type-driven visual programming of XML queries
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types
Journal of the ACM (JACM)
Querying xml documents in logic programming*
Theory and Practice of Logic Programming
FLUX: functional updates for XML
Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
Proceedings of the 2008 ACM SIGPLAN workshop on ML
O'browser: objective caml on browsers
Proceedings of the 2008 ACM SIGPLAN workshop on ML
Inclusion Test Algorithms for One-Unambiguous Regular Expressions
Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
Linear time membership in a class of regular expressions with interleaving and counting
Proceedings of the 17th ACM conference on Information and knowledge management
Type-based specialization of xml transformations
Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation
The Essence of Form Abstraction
APLAS '08 Proceedings of the 6th Asian Symposium on Programming Languages and Systems
An Ontology-based System for Semantic Filtering of XML Data
Electronic Notes in Theoretical Computer Science (ENTCS)
Integrating XQuery and Logic Programming
Applications of Declarative Programming and Knowledge Management
CSchema: a downgrading policy language for XML access control
Journal of Computer Science and Technology
PiDuce - A project for experimenting Web services technologies
Science of Computer Programming
Detection of corrupted schema mappings in XML data integration systems
ACM Transactions on Internet Technology (TOIT)
Parametric polymorphism for XML
ACM Transactions on Programming Languages and Systems (TOPLAS)
Identifying query incompatibilities with evolving XML schemas
Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
Querying XML documents with multi-dimensional markup
NLPXML '06 Proceedings of the 5th Workshop on NLP and XML: Multi-Dimensional Markup in Natural Language Processing
Maintaining XML Data Integrity in Programs
SOFSEM '10 Proceedings of the 36th Conference on Current Trends in Theory and Practice of Computer Science
Web Services as a New Approach to Distributing and Coordinating Semantics-Based Veri cation Toolkits
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal ontology of 'cultures' and 'ethnic groups' based on type theory and functional programming
IWIC'07 Proceedings of the 1st international conference on Intercultural collaboration
A typed calculus for querying distributed XML documents
TGC'06 Proceedings of the 2nd international conference on Trustworthy global computing
Revealing the X/O impedance mismatch: changing lead into gold
SSDGP'06 Proceedings of the 2006 international conference on Datatype-generic programming
Towards practical typechecking for macro tree transducers
DBPL'07 Proceedings of the 11th international conference on Database programming languages
Matchete: paths through the pattern matching jungle
PADL'08 Proceedings of the 10th international conference on Practical aspects of declarative languages
Regular expression subtyping for XML query and update languages
ESOP'08/ETAPS'08 Proceedings of the Theory and practice of software, 17th European conference on Programming languages and systems
Proceedings of the 13th International Conference on Database Theory
DynXML: safely programming the dynamic web
APLWACA '10 Proceedings of the 2010 Workshop on Analysis and Programming Languages for Web Applications and Cloud Applications
Small specifications for tree update
WS-FM'09 Proceedings of the 6th international conference on Web services and formal methods
Regular hedge language factorization revisited
DLT'10 Proceedings of the 14th international conference on Developments in language theory
Subtyping algorithm of regular tree grammars with disjoint production rules
ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing
Towards a "More declarative" XML query language
DEXA'10 Proceedings of the 21st international conference on Database and expert systems applications: Part II
A rule-based approach to XML processing and web reasoning
RR'10 Proceedings of the Fourth international conference on Web reasoning and rule systems
Verification of tree-processing programs via higher-order model checking
APLAS'10 Proceedings of the 8th Asian conference on Programming languages and systems
Complexity of Decision Problems for XML Schemas and Chain Regular Expressions
SIAM Journal on Computing
Impact of XML Schema Evolution
ACM Transactions on Internet Technology (TOIT)
Precision and complexity of XQuery type inference
Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming
XQuery in the functional-logic language toy
WFLP'11 Proceedings of the 20th international conference on Functional and constraint logic programming
Set-theoretic foundation of parametric polymorphism and subtyping
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
Parametric polymorphism and semantic subtyping: the logical connection
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
Static analysis of string values
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Exact XML type checking in polynomial time
ICDT'07 Proceedings of the 11th international conference on Database Theory
Optimizing schema languages for XML: numerical constraints and interleaving
ICDT'07 Proceedings of the 11th international conference on Database Theory
Semantic subtyping: challenges, perspectives, and open problems
ICTCS'05 Proceedings of the 9th Italian conference on Theoretical Computer Science
Patterns and types for querying XML documents
DBPL'05 Proceedings of the 10th international conference on Database Programming Languages
Type-based optimization for regular patterns
DBPL'05 Proceedings of the 10th international conference on Database Programming Languages
A gentle introduction to semantic subtyping
ICALP'05 Proceedings of the 32nd international conference on Automata, Languages and Programming
LOPSTR'05 Proceedings of the 15th international conference on Logic Based Program Synthesis and Transformation
Type checking choreography description language
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
JSCL: a middleware for service coordination
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
The design space of type checkers for XML transformation languages
ICDT'05 Proceedings of the 10th international conference on Database Theory
Which XML schemas admit 1-pass preorder typing?
ICDT'05 Proceedings of the 10th international conference on Database Theory
XML goes native: run-time representations for XTATIC
CC'05 Proceedings of the 14th international conference on Compiler Construction
Web and semantic web query languages: a survey
Proceedings of the First international conference on Reasoning Web
PiDuce: a process calculus with native XML datatypes
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
A full pattern-based paradigm for XML query processing
PADL'05 Proceedings of the 7th international conference on Practical Aspects of Declarative Languages
Verification theories for XML schema
BNCOD'06 Proceedings of the 23rd British National Conference on Databases, conference on Flexible and Efficient Information Handling
A pushdown machine for recursive XML processing
APLAS'06 Proceedings of the 4th Asian conference on Programming Languages and Systems
XML validation for context-free grammars
APLAS'06 Proceedings of the 4th Asian conference on Programming Languages and Systems
A grammar-based approach to invertible programs
ESOP'10 Proceedings of the 19th European conference on Programming Languages and Systems
Automatically verifying typing constraints for a data processing language
CPP'11 Proceedings of the First international conference on Certified Programs and Proofs
Non-backtracking top-down algorithm for checking tree automata containment
CIAA'05 Proceedings of the 10th international conference on Implementation and Application of Automata
A basic contract language for web services
ESOP'06 Proceedings of the 15th European conference on Programming Languages and Systems
Metadata invariants: checking and inferring metadata coding conventions
Proceedings of the 34th International Conference on Software Engineering
ICALP'12 Proceedings of the 39th international colloquium conference on Automata, Languages, and Programming - Volume Part II
Security through extensible type systems
Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity
Satisfiability of a spatial logic with tree variables
CSL'07/EACSL'07 Proceedings of the 21st international conference, and Proceedings of the 16th annuall conference on Computer Science Logic
Combining form and function: static types for JQuery programs
ECOOP'13 Proceedings of the 27th European conference on Object-Oriented Programming
| Hi-index | 0.00 |
XDuce is a statically typed programming language for XML processing. Its basic data values are XML documents, and its types (so-called regular expression types) directly correspond to document schemas. XDuce also provides a flexible form of regular expression pattern matching, integrating conditional branching, tag checking, and subtree extraction, as well as dynamic typechecking. We survey the principles of XDuce's design, develop examples illustrating its key features, describe its foundations in the theory of regular tree automata, and present a complete formal definition of its core, along with a proof of type safety.