![Declarative programming / Software engineering / Theoretical computer science / Constraint programming / Logic programming / Programming paradigms / Formal methods / Constraint logic programming / Loop invariant / Interpolation / Abstract interpretation / CLP Declarative programming / Software engineering / Theoretical computer science / Constraint programming / Logic programming / Programming paradigms / Formal methods / Constraint logic programming / Loop invariant / Interpolation / Abstract interpretation / CLP](https://www.pdfsearch.io/img/8a4cbb80312730656c5391828e56cc0a.jpg) Date: 2018-10-25 12:43:22Declarative programming Software engineering Theoretical computer science Constraint programming Logic programming Programming paradigms Formal methods Constraint logic programming Loop invariant Interpolation Abstract interpretation CLP | | Verification of Programs by Combining Iterated Specialization with Interpolation E. De Angelis and F. Fioravanti J. A. NavasAdd to Reading ListSource URL: jorgenavas.github.ioDownload Document from Source Website File Size: 198,60 KBShare Document on Facebook
|