A Polymorphic Intermediate Verification Language: Design and Logical Encoding
Authors:
- 1 January 2010
- book chapter
- Published by Springer Nature
- p. 312-327
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Reasoning about comprehensions with first-order SMT solvers2009
- Implementing polymorphism in SMT solvers2008
- Translating Higher-Order Clauses to First-Order ClausesJournal of Automated Reasoning, 2007
- Handling Polymorphism in Automated DeductionLecture Notes in Computer Science, 2007
- A Reachability Predicate for Analyzing Low-Level Software2007
- Boogie: A Modular Reusable Verifier for Object-Oriented Programs2006
- Elimination with a Motive2002
- Interpretation of a Mizar-Like Logic in First Order LogicLecture Notes in Computer Science, 2000
- From system F to typed assembly languageACM Transactions on Programming Languages and Systems, 1999