599 search results - page 20 / 120 » Interpreting the Object Constraint Language |
POPL
2006
ACM
14 years 10 months ago
2006
ACM
Concurrency-related bugs may happen when multiple threads access shared data and interleave in ways that do not correspond to any sequential execution. Their absence is not guaran...
SAS
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the omission of t...
UML
2000
Springer
14 years 1 months ago
2000
Springer
The purpose of this paper is to first showcase the concept of an operation schema--a precise form of system-level operation specification--and secondly show how operation schemas e...
DBPL
1987
Springer
14 years 1 months ago
1987
Springer
This paper investigates a method to represent database objects as typed expressions in programming languages. A simple typed language supporting non-flat records, higher-order rel...
JLP
2000
13 years 9 months ago
2000
interpretation. In the context of stream parallelism, this analysis identi es an amount of input data for which predicate execution can safely wait without danger of introducing de...