A runtime system for XML transformations in Java']Java

被引：0
作者：
Christensen, AS [1 ]
Kirkegaard, C [1 ]
Moller, A [1 ]
机构：
[1] Aarhus Univ, Dept Comp Sci, BRICS, Aarhus, Denmark
来源：
DATABASE AND XML TECHNOLOGIES, PROCEEDINGS | 2004年 / 3186卷
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
We show that it is possible to extend a general-purpose programming language with a convenient high-level data-type for manipulating XML documents while permitting (1) precise static analysis for guaranteeing validity of the constructed XML documents relative to the given DTD schemas, and (2) a runtime system where the operations can be performed efficiently. The system, named XACT, is based on a notion of immutable XML templates and uses XPath for deconstructing documents. A companion paper presents the program analysis; this paper focuses on the efficient runtime representation.
引用
收藏
页码：143 / 157
页数：15
相关论文
共 50 条
  • [31] A Java']Java development and runtime environment for reconfigurable computing
    Davis, D
    Barr, M
    Bennett, T
    Edwards, S
    Harris, J
    Miller, I
    Schanck, C
    PARALLEL AND DISTRIBUTED PROCESSING, 1998, 1388 : 43 - 48
  • [32] The Runtime Performance of invokedynamic: An Evaluation with a Java']Java Library
    Ortin, Francisco
    Conde, Patricia
    Fernandez-Lanvin, Daniel
    Izquierdo, Raul
    IEEE SOFTWARE, 2014, 31 (04) : 81 - 89
  • [33] Four Trends Leading to Java']Java Runtime Bloat
    Mitchell, Nick
    Schonberg, Edith
    Sevitsky, Gary
    IEEE SOFTWARE, 2010, 27 (01) : 56 - 63
  • [34] A classification of unanticipated runtime software changes in Java']Java
    Gustavsson, J
    INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS, 2003, : 4 - 12
  • [35] Runtime locality optimizations of distributed Java']Java applications
    Huetter, Christian
    Moschny, Thomas
    PROCEEDINGS OF THE 16TH EUROMICRO CONFERENCE ON PARALLEL, DISTRIBUTED AND NETWORK-BASED PROCESSING, 2008, : 149 - 156
  • [36] Declarative metadata processing with XML and Java']Java
    Guillaume, D
    Plante, R
    ASTRONOMICAL DATA ANALYSIS SOFTWARE AND SYSTEMS X, 2001, 238 : 221 - 224
  • [37] Toward an SGX-Friendly Java']Java Runtime
    Wu, Mingyu
    Li, Zhe
    Chen, Haibo
    Zang, Binyu
    Wang, Shaojun
    Yu, Lei
    Li, Sanhong
    Song, Haitao
    IEEE TRANSACTIONS ON COMPUTERS, 2024, 73 (01) : 44 - 57
  • [38] Java']Java runtime systems: Characterization and architectural implications
    Radhakrishnan, R
    Vijaykrishnan, N
    John, LK
    Sivasubramaniam, A
    Rubio, J
    Sabarinathan, J
    IEEE TRANSACTIONS ON COMPUTERS, 2001, 50 (02) : 131 - 146
  • [39] An overview of the runtime verification tool Java']Java PathExplorer
    Havelund, K
    Rosu, G
    FORMAL METHODS IN SYSTEM DESIGN, 2004, 24 (02) : 189 - 215
  • [40] Adaptable Runtime Monitoring for the Java']Java Virtual Machine
    Rosa, Andrea
    Zheng, Yudi
    Sun, Haiyang
    Javed, Omar
    Binder, Walter
    LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: DISCUSSION, DISSEMINATION, APPLICATIONS, ISOLA 2016, PT II, 2016, 9953 : 531 - 546
12345