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
|