1638 search results - page 139 / 328 » A General Semantics for Evaluation Logic |
ASPLOS
2011
ACM
14 years 1 months ago
2011
ACM
In practice, it is quite difficult to write correct multithreaded programs due to the potential for unintended and nondeterministic interference between parallel threads. A funda...
AVI
2006
2006
Shakespeare's complete works as a benchmark for evaluating multiscale document navigation techniques
14 years 11 months ago
In this paper, we describe an experimental platform dedicated to the comparative evaluation of multiscale electronic-document navigation techniques. One noteworthy characteristic ...
TCS
2002
14 years 10 months ago
2002
This paper surveys the theoretical developments in the field of stochastic process algebras, process algebras where action occurrences may be subject to a delay that is determined...
ICFP
2010
ACM
14 years 11 months ago
2010
ACM
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...
IANDC
2011
14 years 5 months ago
2011
Partial transition systems support abstract model checking of complex temporal propercombining both over- and under-approximatingabstractions into a single model. Over the years, ...