3481 search results - page 243 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
124
click to vote
SAS
2009
Springer
16 years 4 months ago
2009
Springer
We show how, given a program and its separation logic proof, one can parallelize and optimize this program and transform its proof simultaneously to obtain a proven parallelized an...
208
click to vote
Book
"This book on applications of logic in the semantic analysis of language pays the
reader the compliment of not assuming anything about what he or she knows (in particular, no...
128
click to vote
EUROGP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Model checking is a way of analysing programs and programlike structures to decide whether they satisfy a list of temporal logic statements describing desired behaviour. ...
148
click to vote
PADL
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Provably correct compilation is an important aspect in development of high assurance software systems. In this paper we explore approaches to provably correct code genera...
157
click to vote
MATES
2005
Springer
15 years 9 months ago
2005
Springer
Defeasible Logic is extended to programming languages for cognitive agents with preferences and actions for planning. We define rule-based agent theories that contain preferences ...