{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T16:33:11Z","timestamp":1742401991012,"version":"3.38.0"},"reference-count":49,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","license":[{"start":{"date-parts":[[2004,3,1]],"date-time":"2004-03-01T00:00:00Z","timestamp":1078099200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2004,3]]},"DOI":"10.1109\/tse.2004.1271173","type":"journal-article","created":{"date-parts":[[2004,3,9]],"date-time":"2004-03-09T19:14:08Z","timestamp":1078859648000},"page":"181-0_6","source":"Crossref","is-referenced-by-count":40,"title":["Static analysis of XML transformations in java"],"prefix":"10.1109","volume":"30","author":[{"given":"C.","family":"Kirkegaard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Moller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.I.","family":"Schwartzbach","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"article-title":"Extensible Markup Language (XML), 1.0","year":"2000","author":"Bray","key":"ref1"},{"article-title":"XML Schema Part 1: Structures","year":"2001","author":"Thompson","key":"ref2"},{"key":"ref3","article-title":"Document Structure Description 2.0","volume-title":"BRICS, Dept. of Computer Science, Univ. of Aarhus, Notes Series NS-02-7","author":"M\u00f8ller","year":"2002"},{"article-title":"XHTML 1.0: The Extensible Hypertext Markup Language","year":"2000","author":"Pemberton","key":"ref4"},{"article-title":"Document Object Model (DOM) Level 1 Specification","year":"1998","author":"Apparao","key":"ref6"},{"article-title":"JDOM","year":"2001","author":"Hunter","key":"ref7"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/945885.945890"},{"volume-title":"JWIG User Manual","year":"2002","author":"Christensen","key":"ref9"},{"article-title":"XML Path Language","year":"1999","author":"Clark","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.7146\/brics.v9i24.21740"},{"key":"ref12","article-title":"A Runtime System for XML Transformations in Java","volume-title":"Technical Report RS-03-29, Basic Research in Computer Science (BRICS)","author":"Kirkegaard","year":"2003"},{"volume-title":"Effective Java Programming Language Guide","year":"2001","author":"Bloch","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.2498\/cit.2002.01.02"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03811-6"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/BF00290339"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44898-5_1"},{"key":"ref18","article-title":"The XML Revolution\u2014 Technologies for the Future Web","volume-title":"Basic Research in Computer Science (BRICS)","author":"M\u00f8ller","year":"2001"},{"article-title":"XML Query Use Cases","year":"2002","author":"Chamberlin","key":"ref19"},{"article-title":"CDuce: A White Paper","volume-title":"Proc. Programming Language Technologies for XML Workshop (PLAN-X)","author":"Benzaken","key":"ref20"},{"article-title":"Soot\u2014A Java Optimization Framework","volume-title":"Proc. IBM Centre for Advanced Studies Conf. (CASCON \u201999)","author":"Vallee-Rai","key":"ref21"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/353171.353189"},{"article-title":"Recoder","year":"2002","author":"Ludwig","key":"ref23"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/507338.507360"},{"article-title":"Transformation API for XML","year":"2003","author":"Boag","key":"ref26"},{"volume-title":"SAX2","year":"2002","author":"Brownell","key":"ref28"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/317636.317794"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45587-6_13"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/767193.767195"},{"article-title":"Relaxer Tutorial","year":"2003","author":"Fitzgerald","key":"ref34"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(02)00011-3"},{"article-title":"Projector\u2014A Partially Typed Language for Querying XML","volume-title":"Programming Language Technologies for XML Workshop (PLAN-X)","author":"Connor","key":"ref36"},{"article-title":"Unifying Tables, Objects and Documents","volume-title":"Proc. Declarative Programming in the Context of OO Languages (DP-COOL \u201903)","author":"Meijer","key":"ref37"},{"article-title":"XML Data Binding Resources","year":"2003","author":"Bourret","key":"ref38"},{"article-title":"XSL Transformations (XSLT) Specification","year":"1999","author":"Clark","key":"ref39"},{"article-title":"XSL Transformations (XSLT) Version 2.0","year":"2003","author":"Kay","key":"ref40"},{"article-title":"XQuery 1.0: An XML Query Language","year":"2002","author":"Boag","key":"ref41"},{"article-title":"XQuery 1.0 and XPath 2.0 Formal Semantics","year":"2002","author":"Draper","key":"ref42"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45070-2_8"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/585058.585074"},{"article-title":"XML: A Functional Language for Constructing and Manipulating XML Documents","year":"1999","author":"Meijer","key":"ref45"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36388-2_18"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1016\/s0022-0000(02)00030-2"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36285-1_5"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1145\/502187.502191"},{"article-title":"A Type-Safe Macro System for XML","volume-title":"Proc. Extreme Markup Languages","author":"Perst","key":"ref50"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/335168.335173"},{"article-title":"Type Checking in XOBE","volume-title":"Proc. Datenbanksysteme f\u00fcr Business, Technologie und Web (BTW \u201903)","author":"Kempa","key":"ref52"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.7146\/brics.v10i7.21778"},{"article-title":"XSLT Requirements Version 2.0","year":"2001","author":"Muench","key":"ref54"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/32\/28461\/01271173.pdf?arnumber=1271173","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,16]],"date-time":"2025-03-16T04:45:44Z","timestamp":1742100344000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1271173\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,3]]},"references-count":49,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2004,3]]}},"URL":"https:\/\/doi.org\/10.1109\/tse.2004.1271173","relation":{},"ISSN":["0098-5589"],"issn-type":[{"type":"print","value":"0098-5589"}],"subject":[],"published":{"date-parts":[[2004,3]]}}}