183 search results - page 13 / 37 » Trace Semantics is Fully Abstract |
114
click to vote
POPL
1995
ACM
15 years 1 months ago
1995
ACM
We show how a set of building blocks can be used to construct programming language interpreters, and present implementations of such building blocks capable of supporting many com...
CSL
2007
Springer
15 years 3 months ago
2007
Springer
We give a fully abstract game model for Idealized Algol with non-local control flow. In contrast to most previous papers on game semantics, we do not need to include the bad-varia...
JUCS
2010
14 years 8 months ago
2010
Abstract: The application of Web 2.0 tools and methodologies in the domain of eGovernment is not yet a fully exploited area due to the immaturity of the software support, and the l...
74
Voted
CBRMD
2010
14 years 7 months ago
2010
Abstract. Clinical research significantly contributes to the better understanding of diseases and their treatment. Physicians, however, could not take fully advantage of the result...
ATAL
1997
Springer
15 years 1 months ago
1997
Springer
Abstract. We address the problem of constructing multiagent systems by coordinating autonomous agents, whose internal designs may not be fully known. We develop a customizable coor...