3572 search results - page 207 / 715 » Nominal Logic Programming |
189
Voted
COMPSAC
2011
IEEE
14 years 3 months ago
2011
IEEE
165
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...
136
click to vote
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...
131
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...
148
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...