2136 search results - page 363 / 428 » A Game-Theoretic Operational Semantics |
178
click to vote
SSD
1993
Springer
15 years 8 months ago
1993
Springer
: Spatial data types or algebras for database systems should (i) be fully general (which means, closed under set operations, hence e.g. a region value can be a set of polygons with...
119
click to vote
LICS
1992
IEEE
15 years 8 months ago
1992
IEEE
The aim of this paper is to find the finest `observable' and `implementable' equivalence on concurrent processes. This is a part of a larger programme to develop a theor...
156
click to vote
LOPSTR
1992
Springer
15 years 8 months ago
1992
Springer
We present a self-applicable partial evaluator for a large subset of full Prolog. The partial evaluator, called Logimix, is the result of applying our experience from partial eval...
126
click to vote
FPCA
1989
15 years 8 months ago
1989
Bounded quantification was introduced by Cardelli and Wegner as a means of typing functions that operate uniformly over all subtypes of a given type. They defined a simple “ob...
142
click to vote
FMLDO
1990
Springer
15 years 8 months ago
1990
Springer
Object-oriented database systems (ooDBMSs) are supposed to offer at least the functionality available in commercial relational DBMSs of today. One important consequence of this is...