CDuce: An XML-centric general-purpose language

被引：53
作者：
Benzaken, V [1 ]
Castagna, G [1 ]
Frisch, A [1 ]
机构：
[1] Univ Paris 11, CNRS, LRI, F-91405 Orsay, France
来源：
ACM SIGPLAN NOTICES | 2003年 / 38卷 / 09期
关键词：
XML; XML-processing; type systems; CDuce;
D O I：
10.1145/944746.944711
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
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.
引用
收藏
页码：51 / 63
页数：13
相关论文
共 17 条
  • [1] DYNAMIC TYPING IN A STATICALLY TYPED LANGUAGE
    ABADI, M
    CARDELLI, L
    PIERCE, B
    PLOTKIN, G
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1991, 13 (02): : 237 - 268
  • [2] *BELL LABS, GAL
  • [3] BOAG S, 2003, XQUERY 1 0 XML QUERY
  • [4] Parasitic methods: An implementation of multi-methods for Java']Java
    Boyland, J
    Castagna, G
    [J]. ACM SIGPLAN NOTICES, 1997, 32 (10) : 66 - 76
  • [5] CHRISTENSEN A, 2003, IN PRESS ACM TOPLAS
  • [6] CLARK J, 1999, XML PATH LANGUAGE SP
  • [7] Fernandez M, 2000, LECT NOTES COMPUT SC, V1974, P11
  • [8] Semantic subtyping
    Frisch, A
    Castagna, G
    Benzaken, V
    [J]. 17TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2002, : 137 - 146
  • [9] GAPAYEV V, 2003, P 10 WORKSH FOOL
  • [10] HOSOYA H, 2000, SIGPLAN NOTICES, V35
12