Sciweavers

1031 search results - page 91 / 207
» codes 2004
Sort
View
159
Voted
ECLIPSE
2004
ACM
16 years 5 days 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
16 years 5 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
JCDL
2004
ACM
88views Education» more  JCDL 2004»
16 years 5 days 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
16 years 5 days 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...
150
Voted
BIRTHDAY
2004
Springer
16 years 4 days 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