145 search results - page 17 / 29 » Symbolic Execution with Separation Logic |
200
Voted
POPL
2004
ACM
16 years 23 days ago
2004
ACM
We present a polynomial time randomized algorithm for global value numbering. Our algorithm is complete when conditionals are treated as non-deterministic and all operators are tr...
109
click to vote
CP
2000
Springer
15 years 4 months ago
2000
Springer
We are interested in the expressiveness of constraints represented by general first order formulae, with equality as unique relation symbol and function symbols taken from an infi...
99
Voted
EDOC
2006
IEEE
15 years 6 months ago
2006
IEEE
Business rules provide an elegant solution to manage dynamic business logic by separating business knowledge from its implementation logic. The drawback of most existing business ...
94
Voted
AAAI
2006
15 years 1 months ago
2006
Partially observed actions are observations of action executions in which we are uncertain about the identity of objects, agents, or locations involved in the actions (e.g., we kn...
101
Voted
FMSD
2006
15 years 14 days ago
2006
This paper describes the application of the Real-Time Maude tool and the Maude formal methodology to the specification and analysis of the AER/NCA suite of active network multicast...