Home
|
Quick Search
|
Advanced Search
|
Bibliography submission
|
Bibliography submission using bibtex
|
Bibliography submission using bibtex file
|
Links
|
Help
|
Internal
Details:
Title
Constraint solving for interpolation
Author(s)
Andrey Rybalchenko
,
Viorica Sofronie-Stokkermans
Type
Article in Journal
Abstract
Keywords
Interpolation, Constraint solving, Hierarchical reasoning, Program verification
ISSN
0747-7171
URL
http://www.sciencedirect.com/science/article/pii/S0747717110000854
Language
English
Journal
Journal of Symbolic Computation
Volume
45
Number
11
Pages
1212 - 1233
Year
2010
Note
Special Issue on Invariant Generation and Advanced Techniques for Reasoning about Loops
Edition
0
Translation
No
Refereed
No
Webmaster