3481 search results - page 387 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
176
click to vote
CONCUR
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. In 2004, Berdine, Calcagno and O’Hearn introduced a fragment of separation logic that allows for reasoning about programs with pointers and linked lists. They showed th...
117
click to vote
OOPSLA
2007
Springer
15 years 11 months ago
2007
Springer
Accidental mutation is a major source of difficult-to-detect errors in object-oriented programs. We have built tools that detect and prevent such errors. The tools include a java...
166
click to vote
DAGSTUHL
2001
15 years 6 months ago
2001
A powerful approach to finding errors in computer software is to translate a given program into a verification condition, a logical formula that is valid if and only if the program...
153
click to vote
ICFP
2002
ACM
16 years 4 months ago
2002
ACM
Meta-programming is a discipline of writing programs in a certain programming language that generate, manipulate or execute programs written in another language. In a typed settin...
146
click to vote
LFCS
2009
Springer
15 years 11 months ago
2009
Springer
We explore an intuitionistic fragment of Art¨emov’s Logic of Proofs as a type system for a programming language for mobile units. Such units consist of both a code and certific...