Sciweavers

1031 search results - page 91 / 207
» codes 2004
Sort
View
95
Voted
ECLIPSE
2004
ACM
15 years 6 months ago
Supporting Java traits in Eclipse
Traits are a language technology that complements inheritance as a means for code reuse and class structuring. Traits encapsulate collections of methods so that they can be used a...
Philip J. Quitslund, Emerson R. Murphy-Hill, Andre...
EXTREME
2004
ACM
15 years 6 months 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
78
Voted
JCDL
2004
ACM
88views Education» more  JCDL 2004»
15 years 6 months ago
A query interface for an event gazetteer
We introduce an event gazetteer which stores and presents “locations in time”. Each event is coded with attributes of event type, location, actor, and beginning and ending tim...
Robert B. Allen
SAC
2004
ACM
15 years 6 months ago
A back-end for GHC based on categorical multi-combinators
is an abstract graph reduction machine for the implementation of lazy functional languages. Categorical multi-combinators served as a basis for the evaluation model of µΓCMC. Th...
Ricardo Massa Ferreira Lima, Rafael Dueire Lins, A...
87
Voted
BIRTHDAY
2004
Springer
15 years 6 months ago
Incremental Reasoning for Object Oriented Systems
Inheritance and polymorphism are key mechanisms of the object-oriented approach that enable designers to develop systems in an incremental manner. In this paper, we develop techni...
Neelam Soundarajan, Stephen Fridella