369 search results - page 16 / 74 » Symbolic Semantics Revisited |
ERLANG
2004
ACM
14 years 1 months ago
2004
ACM
This paper describes the new exception handling in the Erlang programming language, to be introduced in the forthcoming Release 10 of the Erlang/OTP system. We give a comprehensiv...
ISMVL
2010
IEEE
13 years 9 months ago
2010
IEEE
—In this paper we examine different possibilities of defining reduced products and ultraproducts in fuzzy predicate logics. We present analogues to the Łos Theorem for these no...
CONCUR
2001
Springer
14 years 7 days ago
2001
Springer
A key issue in the design of a model-checking tool is the choice of the formal language with which properties are specified. It is now recognized that a good language should exten...
ECAI
2008
Springer
13 years 9 months ago
2008
Springer
We introduce a simple variation of the additive heuristic used in the HSP planner that combines the benefits of the original additive heuristic, namely its mathematical formulation...
ISSTA
2010
ACM
13 years 9 months ago
2010
ACM
This paper presents a new technique, called Symbolic Program Decomposition (or SPD), for symbolic execution of multiple paths that is more scalable than existing techniques, which...