Logical abstract interpretation
<p>Logical deduction and abstraction from detail are fundamental, yet distinct aspects of reasoning about programs. This dissertation shows that the combination of logic and abstract interpretation enables a unified and simple treatment of several theoretical and practical topics which encompa...
Main Authors: | D'Silva, V, Vijay Victor D'Silva |
---|---|
Other Authors: | Kroening, D |
Format: | Thesis |
Language: | English |
Published: |
2013
|
Subjects: |
Similar Items
-
Logical constants
by: Dosen, K, et al.
Published: (1980) -
Scalable reasoning for description logics
by: Shearer, R
Published: (2011) -
Elements of deductive logic
by: Eagle, A
Published: (2008) -
Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
by: Thomas Powell
Published: (2024-01-01) -
On Galois correspondences in formal logic
by: Yim, A
Published: (2012)