article

CDuce: an XML-centric general-purpose language

Authors:

Véronique Benzaken,

Giuseppe Castagna,

Alain FrischAuthors Info & Claims

ACM SIGPLAN Notices, Volume 38, Issue 9

Pages 51 - 63

https://doi.org/10.1145/944746.944711

Published: 25 August 2003 Publication History

Abstract

We present the functional language CDuce, discuss some design issues, and show its adequacy for working with XML documents. Distinctive features of CDuce are a powerful pattern matching, first class functions, overloaded functions, a very rich type system (arrows, sequences, pairs, records, intersections, unions, differences), precise type inference for patterns and error localization, and a natural interpretation of types as sets of values. We also outline some important implementation issues; in particular, a dispatch algorithm that demonstrates how static type information can be used to obtain very efficient compilation schemas..

References

[1]

M. Abadi, L. Cardelli, B. Pierce, and G. Plotkin. Dynamic typing in a statically typed language. ACM TOPLAS, 13(2):237--268, April 1991.]]

Digital Library

[2]

Bell-labs. Galax. http://db.bell-labs.com/galax/.]]

[3]

S. Boag, D. Chamberlin, M. Fernandez, D. Florescu, J. Robie, J. Siméon, and M. Stefanescu. XQuery 1.0: An XML Query Language. W3C Working Draft, http://www.w3.org/TR/xquery/, 2003.]]

[4]

J. Boyland and G. Castagna. Parasitic methods: Implementation of multi-methods for Java. In OOPSLA '97, 32(10), pages 66--76, 1997.]]

Digital Library

[5]

A. Christensen, A. Møller, and M. Schwartzbach. Extending Java for high-level web service construction. ACM TOPLAS, 2003. To appear.]]

Digital Library

[6]

J. Clark and S. DeRose. XML Path Language (XPath). W3C Recommendation, http://www.w3.org/TR/xpath/, 1999.]]

[7]

Mary Fernández, Jérôme Siméon, and Philip Wadler. An algebra for XML query. In FST&TCS, LNCS n. 1974, pages 11--45, 2000.]]

Digital Library

[8]

A. Frisch, G. Castagna, and V. Benzaken. Semantic Subtyping. In 17th IEEE Symp. on Logic in Computer Science, pages 137--146, 2002.]]

Digital Library

[9]

V. Gapayev and B.C. Pierce. Regular object types. In Proceedings of the 10th workshop FOOL, 2003.]]

[10]

H. Hosoya. Regular expressions pattern matching: a simpler design. Unpublished manuscript, February 2003.]]

Digital Library

[11]

H. Hosoya and B. Pierce. XDuce: A typed XML processing language. ACM TOIT, 2003. To appear. http://xduce.sourceforge.net/.]]

Digital Library

[12]

Haruo Hosoya. Regular Expression Types for XML. PhD thesis, The University of Tokyo, 2001.]]

[13]

Haruo Hosoya and Makoto Murata. Validation and boolean operations for attribute-element constraints. In PLAN-X, 2002.]]

[14]

H. Hosoya, J. Vouillon, and B. Pierce. Regular expression types for XML. In Proc. of ICFP '00, SIGPLAN Notices 35(9), 2000.]]

Digital Library

[15]

Michael Y. Levin. Matching automata for regular patterns. Tech. rep., 2003. http://www.cis.upenn.edu/~bcpierce/xtatic/.]]

[16]

M. Odersky and P. Wadler. Pizza into Java: Translating theory into practice. In Proc. of 24th ACM POPL, 1997.]]

Digital Library

[17]

J. Siméon and P. Wadler. The essence of XML. In Proc. of 30th ACM POPL, 2003.]]

Digital Library

Cited By

Guo QZhang CZhang SLu J(2024)Multi-model query languages: taming the variety of big dataDistributed and Parallel Databases10.1007/s10619-023-07433-142:1(31-71)Online publication date: 1-Mar-2024
https://dl.acm.org/doi/10.1007/s10619-023-07433-1
Castagna G(2023)Programming with Union, Intersection, and Negation TypesThe French School of Programming10.1007/978-3-031-34518-0_12(309-378)Online publication date: 11-Oct-2023
https://doi.org/10.1007/978-3-031-34518-0_12
Castagna GLanvin VLaurent MNguyen K(2022)Revisiting occurrence typingScience of Computer Programming10.1016/j.scico.2022.102781217:COnline publication date: 1-May-2022
https://dl.acm.org/doi/10.1016/j.scico.2022.102781
Show More Cited By

Index Terms

CDuce: an XML-centric general-purpose language
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language types
        Functional languages

Recommendations

CDuce: an XML-centric general-purpose language
ICFP '03: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming

We present the functional language CDuce, discuss some design issues, and show its adequacy for working with XML documents. Distinctive features of CDuce are a powerful pattern matching, first class functions, overloaded functions, a very rich type ...
OCaml + XDuce
ICFP '06: Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming

This paper presents the core type system and type inference algorithm of OCamlDuce, a merger between OCaml and XDuce. The challenge was to combine two type checkers of very different natures while preserving the best properties of both (principality and ...
OCaml + XDuce
Proceedings of the 2006 ICFP conference

This paper presents the core type system and type inference algorithm of OCamlDuce, a merger between OCaml and XDuce. The challenge was to combine two type checkers of very different natures while preserving the best properties of both (principality and ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM SIGPLAN Notices

ACM SIGPLAN Notices Volume 38, Issue 9

September 2003

289 pages

ISSN:0362-1340

EISSN:1558-1160

DOI:10.1145/944746

Issue’s Table of Contents

ICFP '03: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
August 2003
310 pages
ISBN:1581137567
DOI:10.1145/944705
General Chair:
Colin Runciman
University of York, UK
,
Program Chair:
Olin Shivers
Georgia Institute of Technology, USA

Copyright © 2003 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 25 August 2003

Published in SIGPLAN Volume 38, Issue 9

Check for updates

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

284
Total Citations
View Citations
806
Total Downloads

Downloads (Last 12 months)12
Downloads (Last 6 weeks)0

Reflects downloads up to 18 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Guo QZhang CZhang SLu J(2024)Multi-model query languages: taming the variety of big dataDistributed and Parallel Databases10.1007/s10619-023-07433-142:1(31-71)Online publication date: 1-Mar-2024
https://dl.acm.org/doi/10.1007/s10619-023-07433-1
Castagna G(2023)Programming with Union, Intersection, and Negation TypesThe French School of Programming10.1007/978-3-031-34518-0_12(309-378)Online publication date: 11-Oct-2023
https://doi.org/10.1007/978-3-031-34518-0_12
Castagna GLanvin VLaurent MNguyen K(2022)Revisiting occurrence typingScience of Computer Programming10.1016/j.scico.2022.102781217:COnline publication date: 1-May-2022
https://dl.acm.org/doi/10.1016/j.scico.2022.102781
Zheng LMa SChen ZLuo X(2021)Ensuring the Correctness of Regular Expressions: A ReviewInternational Journal of Automation and Computing10.1007/s11633-021-1301-418:4(521-535)Online publication date: 1-Aug-2021
https://dl.acm.org/doi/10.1007/s11633-021-1301-4
Marntirosian KSchrijvers TOliveira BKarachalias G(2020)Resolution as intersection subtyping via Modus PonensProceedings of the ACM on Programming Languages10.1145/34282744:OOPSLA(1-30)Online publication date: 13-Nov-2020
https://dl.acm.org/doi/10.1145/3428274
Chen HZhiwu X(2020)Inclusion algorithms for one-unambiguous regular expressions and their applicationsScience of Computer Programming10.1016/j.scico.2020.102436(102436)Online publication date: Mar-2020
https://doi.org/10.1016/j.scico.2020.102436
Nishida YIgarashi A(2019)Manifest Contracts with Intersection TypesProgramming Languages and Systems10.1007/978-3-030-34175-6_3(33-52)Online publication date: 18-Nov-2019
https://doi.org/10.1007/978-3-030-34175-6_3
Benzaken VCastagna GHosoya HPierce BVansummeren S(2018)XML TypecheckingEncyclopedia of Database Systems10.1007/978-1-4614-8265-9_788(4817-4822)Online publication date: 7-Dec-2018
https://doi.org/10.1007/978-1-4614-8265-9_788
Smith GWinter K(2017)Relating trace refinement and linearizabilityFormal Aspects of Computing10.1007/s00165-017-0418-229:6(935-950)Online publication date: 1-Nov-2017
https://dl.acm.org/doi/10.1007/s00165-017-0418-2
Codish MCruz-Filipe LNebel MSchneider-Kamp P(2017)Optimizing sorting algorithms by using sorting networksFormal Aspects of Computing10.1007/s00165-016-0401-329:3(559-579)Online publication date: 1-May-2017
https://dl.acm.org/doi/10.1007/s00165-016-0401-3
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Issue’s Table of Contents