3931 search results - page 305 / 787 » Separation logic and abstraction |
159
click to vote
DLOG
2008
15 years 9 months ago
2008
Abstract. We propose an approach for extending a tableau-based satisfiability algorithm by an arithmetic component. The result is a hybrid satisfiability algorithm for the Descript...
209
click to vote
BIRTHDAY
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Church's Problem, stated fifty years ago, asks for a finitestate machine that realizes the transformation of an infinite sequence into an infinite sequence such tha...
139
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Agents interacting in open environments such as Internet are often in charge of personal information. In order to protect the privacy of human users, such agents have to ...
186
Voted
DLT
2010
15 years 8 months ago
2010
Abstract. Millstream systems have recently been proposed as a formalization of the linguistic idea that natural language should be described as a combination of different modules r...
168
Voted
CATS
2006
15 years 8 months ago
2006
In this paper, we study the formalization of one-pass call-by-value CPS compilation using higher-order abstract syntax. In particular, we verify mechanically that the source progr...