2106 search results - page 245 / 422 » Operational Semantics for MSC'96 |
177
click to vote
APAL
2010
15 years 4 months ago
2010
The theory of Schauder hats is a beautiful and powerful tool for investigating, under several respects, the algebraic semantics of Lukasiewicz infinite-valued logic [CDM99], [MMM07...
194
click to vote
POPL
2011
ACM
14 years 9 months ago
2011
ACM
The technique of trace-based just-in-time compilation was introduced by Bala et al. and was further developed by Gal et al. It currently enjoys success in Mozilla Firefox’s Java...
182
click to vote
SIGMOD
2011
ACM
14 years 9 months ago
2011
ACM
The emergence of Web 2.0 has resulted in a huge amount of heterogeneous data that are contributed by a large number of users, engendering new challenges for data management and qu...
222
click to vote
SAS
1992
Springer
15 years 10 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...
178
click to vote
SOSP
1993
ACM
15 years 7 months ago
1993
ACM
Research can rarely be performed on large-scale, distributed systems at the level of thousands of workstations. In this paper, we describe the motivating constraints, design princ...