2136 search results - page 175 / 428 » A Game-Theoretic Operational Semantics |
179
Voted
SAS
1992
Springer
15 years 7 months ago
1992
Springer
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...
233
Voted
CC
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. We introduce the design and implementation of dynamic separation (DS) as a programming discipline for using transactional memory. Our approach is based on the programmer ...
127
Voted
SIGMOD
2003
ACM
16 years 3 months ago
2003
ACM
Model management aims at reducing the amount of programming needed for the development of metadata-intensive applications. We present a first complete prototype of a generic model...
126
Voted
IFIP
2004
Springer
15 years 9 months ago
2004
Springer
We study from an implementation viewpoint what constitutes a reasonable and effective notion of structural equivalence of terms in a calculus of concurrent processes and propose op...
132
Voted
ARTS
1999
Springer
15 years 8 months ago
1999
Springer
Published results show that various models may be obtained by combining parallel composition with probability and with or without non-determinism. In this paper we treat this probl...