Back to Results
First PageMeta Content
Declarative 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. Navas
Add to Reading List

Document Date: 2018-10-25 12:43:22

Open Document

File Size: 198,60 KB

Share Result on Facebook