- Tytuł:
- A Rule-based Verification Strategy for Array Manipulating Programs
- Autorzy:
-
De Angelis, E.
Fioravanti, F.
Pettorossi, A.
Proietti, M. - Data publikacji:
- 2015
- Słowa kluczowe:
-
logic programming
constraint logic programs
CLP
verification
quadratic transformations
refutation logic - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł