Sciweavers

27119 search results - page 240 / 5424
» Languages
Sort
View
EXTREME
2004
ACM
16 years 18 days 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 18 days ago
Array regrouping and structure splitting using whole-program reference affinity
Yutao Zhong, Maksim Orlovich, Xipeng Shen, Chen Di...
ECOOP
2004
Springer
16 years 17 days ago
Efficiently Verifiable Escape Analysis
Matthew Q. Beers, Christian Stork, Michael Franz
ECOOP
2004
Springer
16 years 17 days ago
Semantic Casts: Contracts and Structural Subtyping in a Nominal World
Robert Bruce Findler, Matthew Flatt, Matthias Fell...