Template-based program verification and program synthesis
- 25 January 2012
- journal article
- research article
- Published by Springer Nature in International Journal on Software Tools for Technology Transfer
- Vol. 15 (5-6) , 497-518
Abstract
No abstract availableKeywords
This publication has 53 references indexed in Scilit:
- Automating string processing in spreadsheets using input-output examplesACM SIGPLAN Notices, 2011
- Abstraction-guided synthesis of synchronizationACM SIGPLAN Notices, 2010
- Liquid typesACM SIGPLAN Notices, 2008
- Lifting abstract interpreters to quantified logical domainsACM SIGPLAN Notices, 2008
- Predicate abstraction with indexed predicatesACM Transactions on Computational Logic, 2007
- Sketching stencilsACM SIGPLAN Notices, 2007
- Abstractions from proofsACM SIGPLAN Notices, 2004
- Predicate abstraction for software verificationACM SIGPLAN Notices, 2002
- Specificational functionsACM Transactions on Programming Languages and Systems, 1999
- Abstract interpretation and application to logic programsThe Journal of Logic Programming, 1992