283 search results - page 14 / 57 » Extracting Program Logics From Abstract Interpretations Defi... |
96
Voted
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Weighted logic programming, a generalization of bottom-up logic programming, is a successful framework for specifying dynamic programming algorithms. In this setting, pro...
95
Voted
JUCS
2006
14 years 11 months ago
2006
: We investigate behavioral institutions and refinements in the context of the object oriented paradigm. The novelty of our approach is the application of generalized abstract alge...
108
click to vote
CADE
2010
Springer
15 years 24 days ago
2010
Springer
In order to support the verification of programs, verification tools such as ACL2 or Isabelle try to extract suitable induction axioms from the definitions of terminating, recursiv...
77
Voted
IFIP
2005
Springer
15 years 5 months ago
2005
Springer
We present a method for trust scenarios with more than one trustee, where sets of trustees are ordered in a relation of relative trustworthiness. We show how a priority structure i...
CADE
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. Twelf is a meta-logical framework for the specification, implementation, and meta-theory of deductive systems from the theory of programming languages and logics. It rel...