Sciweavers

27119 search results - page 240 / 5424
» Languages
Sort
View
EXTREME
2004
ACM
16 years 23 hour ago
A Simple Proof for the Turing-Completeness of XSLT and XQuery
The World Wide Web Consortium recommends both XSLT and XQuery as query languages for XML documents. XSLT, originally designed to transform XML into XSL-FO, is nowadays a fully gro...
Stephan Kepser
PLDI
2004
ACM
16 years 19 hour ago
Array regrouping and structure splitting using whole-program reference affinity
Yutao Zhong, Maksim Orlovich, Xipeng Shen, Chen Di...
133
Voted
ECOOP
2004
Springer
15 years 12 months ago
Efficiently Verifiable Escape Analysis
Matthew Q. Beers, Christian Stork, Michael Franz
ECOOP
2004
Springer
15 years 12 months ago
Semantic Casts: Contracts and Structural Subtyping in a Nominal World
Robert Bruce Findler, Matthew Flatt, Matthias Fell...