Publication | Closed Access
Safety of abstract interpretations for free, via logical relations and Galois connections
27
Citations
17
References
2004
Year
Algebraic LogicLogical RelationsEngineeringAutomated ReasoningAbstract InterpretationFormal MethodsModel TheoryComputer ScienceAbstract InterpretationsHigher-order LogicSemanticsFormal VerificationGalois ConnectionsLogical Formalism
| Year | Citations | |
|---|---|---|
Page 1
Page 1