5451 search results - page 860 / 1091 » Typed Operational Semantics |
163
click to vote
POPL
1996
ACM
15 years 9 months ago
1996
ACM
that defines abstract costs for measuring or analyzing the performance of computations, (2) to supply the users with a mapping of these costs onto runtimes on various machine model...
182
click to vote
CSCW
1994
ACM
15 years 9 months ago
1994
ACM
The need to merge different versions of an object toa common state arises in collaborative computing due to several reasons including optimistic concurrency control, asynchronous ...
137
click to vote
LICS
1992
IEEE
15 years 9 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...
172
Voted
LOPSTR
1992
Springer
15 years 9 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...
128
click to vote
ICLP
1990
Springer
15 years 9 months ago
1990
Springer
Definite Clause Grammars (DCGs) have proved valuable to computational linguists since they can be used to specify phrase structured grammars. It is well known how to encode DCGs i...