4690 search results - page 2 / 938 » An operational semantics for Scheme |
TPHOL
2009
IEEE
14 years 24 days ago
2009
IEEE
We present four coinductive operational semantics for the While language accounting for both terminating and non-terminating program runs: big-step and small-step relational semant...
ICDE
2011
IEEE
12 years 10 months ago
2011
IEEE
— Uncertain data is quite common nowadays in a variety of modern database applications. At the same time, the join operation is one of the most important but expensive operations...
VLDB
2004
ACM
13 years 11 months ago
2004
ACM
Ontologies are increasingly being used to build applications that utilize domain-specific knowledge. This paper addresses the problem of supporting ontology-based semantic matchin...
DASFAA
2008
IEEE
14 years 19 days ago
2008
IEEE
Twig pattern matching (TPM) is the core operation of XML query processing. Existing approaches rely on either efficient data structures or novel labeling/indexing schemes to reduce...
SMA
1993
ACM
13 years 10 months ago
1993
ACM
Form features present a rather attractive building block in computer-aided design environments for a variety of applications, providing the embodiment of engineering semantics in ...