First Page | Document Content | |
---|---|---|
Date: 2010-09-11 18:44:06Logic Mathematical logic Theoretical computer science FO Finite model theory Predicate transformer semantics Model theory Substitution | Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Exploiting Traces in Static Program Analysis Better Model Checking through printfs Alex Groce, Rajeev JoshiAdd to Reading ListSource URL: rjoshi.orgDownload Document from Source WebsiteFile Size: 248,52 KBShare Document on Facebook |
Lecture Notes on Virtual Substitution & Real ArithmeticDocID: 1xUTv - View Document | |
Towards Conflict-Driven Learning for Virtual Substitution SMT Workshop ˇ Marek Kosta (joint work K. Korovin and T. Sturm)DocID: 1xUsN - View Document | |
LIVELIHOOD SUBSTITUTION: THE CASE OF THE LYARI EXPRESSWAYDocID: 1vjHF - View Document | |
Hereditary Substitution for the λ∆-Calculus Harley Eades and Aaron Stump Computer Science CL&C 2012 OverviewDocID: 1vi0p - View Document | |
Matthieu Fontaine - L’échec de la généralisation existentielle et de la substitution des identiques chez HintikkaDocID: 1vfiN - View Document |