3566 search results - page 195 / 714 » Signed Logic Programs |
159
click to vote
CADE
1992
Springer
15 years 7 months ago
1992
Springer
Abstract. We exhibit a methodology for formulating and verifying metatheorems about deductive systems in the Elf language, an implementation of the LF Logical Framework with an ope...
130
Voted
VSTTE
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The Composite design pattern is an exemplar of specification and verification challenges for sequential object-oriented programs. Region logic is a Hoare logic augmente...
128
click to vote
OOPSLA
2007
Springer
15 years 9 months ago
2007
Springer
Schematic tables are a new representation for conditionals. Roughly a cross between decision tables and data flow graphs, they represent computation and decision-making orthogona...
144
click to vote
CADE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In the context of deductive program verification, supporting floatingpoint computations is tricky. We propose an expressive language to formally specify behavioral proper...