151 search results - page 7 / 31 » Predicate Abstraction in a Program Logic Calculus |
114
Voted
FMOODS
2003
15 years 1 months ago
2003
This paper outlines a sound and complete Hoare logic for a sequential object-oriented language with inheritance and subtyping like Java. It describes a weakest precondition calculu...
102
click to vote
ICFP
2010
ACM
15 years 21 days ago
2010
ACM
' abstraction theorem shows how a typing judgement in System F can be translated into a relational statement (in second order predicate logic) about inhabitants of the type. ...
102
Voted
LOPSTR
1995
Springer
15 years 3 months ago
1995
Springer
We present an automated proof method for constructive logic based on Wallen’s matrix characterization for intuitionistic validity. The proof search strategy extends Bibel’s con...
AAAI
1992
15 years 24 days ago
1992
We define fuzzy constraint networks and prove a theorem about their relationship to fuzzy logic. Then we introduce Khayyam, a fuzzy constraint-based programming language in which ...
113
click to vote
PLILP
1995
Springer
15 years 3 months ago
1995
Springer
Abstract. Using higher-order functions is standard practice in functional programming, but most functional logic programming languages that have been described in the literature la...