Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal

Details:

    
TitleConstraint solving for interpolation
Author(s) Andrey Rybalchenko, Viorica Sofronie-Stokkermans
TypeArticle in Journal
Abstract
KeywordsInterpolation, Constraint solving, Hierarchical reasoning, Program verification
ISSN0747-7171
URL http://www.sciencedirect.com/science/article/pii/S0747717110000854
LanguageEnglish
JournalJournal of Symbolic Computation
Volume45
Number11
Pages1212 - 1233
Year2010
NoteSpecial Issue on Invariant Generation and Advanced Techniques for Reasoning about Loops
Edition0
Translation No
Refereed No
Webmaster