3738 search results - page 531 / 748 » Parametrized Logic Programming |
120
Voted
CIE
2010
Springer
15 years 5 months ago
2010
Springer
Game semantics provides an interactive point of view on proofs, which enables one to describe precisely their dynamical behavior during cut elimination, by considering formulas as ...
IGPL
2008
15 years 5 days ago
2008
We propose here an extension of Rice's Theorem to first-order logic, proven by totally elementary means. If P is any property defined over the collection of all first-order t...
107
click to vote
CADE
2007
Springer
16 years 29 days ago
2007
Springer
We introduce a calculus for handling integer arithmetic in first-order logic. The method is tailored to Java program verification and meant to be used both as a supporting procedur...
186
Voted
SIGMOD
2006
ACM
16 years 24 days ago
2006
ACM
This paper describes the ADO.NET Entity Framework, a platform for programming against data that raises the level of ion from the logical (relational) level to the conceptual (enti...
76
Voted
TACAS
2010
Springer
15 years 7 months ago
2010
Springer
The theory BV of bit-vectors, i.e. fixed-size arrays of bits equipped with standard low-level machine instructions, is becoming very popular in formal verification. Standard solv...