1154 search results - page 78 / 231 » Implementing Typed Intermediate Languages |
SIGMOD
2006
ACM
14 years 10 months ago
2006
ACM
In this paper, we present the design, implementation, and evaluation of a system that executes complex event queries over real-time streams of RFID readings encoded as events. The...
ECOOP
2000
Springer
14 years 2 months ago
2000
Springer
Classes play a dual role in mainstream statically-typed object-oriented languages, serving as both object generators and object types. In such languages, inheritance implies subtyp...
HASKELL
2007
ACM
14 years 1 months ago
2007
ACM
We develop a Haskell library for functional-logic programming, motivated by the implementation of Wired, a relational embedded domain-specific language for describing and analysin...
FSTTCS
1999
Springer
14 years 2 months ago
1999
Springer
The λ-calculus has been much used to study the theory of substitution in logical systems and programming languages. However, with explicit substitutions, it is possible to get fi...
LREC
2008
13 years 11 months ago
2008
This paper describes the interaction among language resources for an adequate concept annotation of domain texts in several languages. The architecture includes domain ontology, d...