3738 search results - page 220 / 748 » Parametrized Logic Programming |
128
click to vote
VSTTE
2010
Springer
15 years 29 days 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 8 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...
143
Voted
CADE
2010
Springer
15 years 3 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...
119
Voted
PPDP
2010
Springer
15 years 14 days ago
2010
Springer
Transaction Logic is a logic for representing declarative and procedural knowledge in logic programming, databases, and AI. It has been successful in areas as diverse as workflows...
118
Voted
DALT
2008
Springer
15 years 4 months ago
2008
Springer
This paper provides a logical framework of negotiating agents who have capabilities of evaluating and building proposals. Given a proposal, an agent decides whether it is acceptabl...