<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2015-09-28 14:39:27Software engineering Programming language theory Computing Logic in computer science Horn clause Control flow ALGOL 68 Formal methods Logic programming |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2015-09-28 14:39:27Software engineering Programming language theory Computing Logic in computer science Horn clause Control flow ALGOL 68 Formal methods Logic programming |
Add to Reading List |
Finding Inconsistencies in Programs with Loops? Temesghen Kahsai1 , Jorge A. Navas2 , Dejan Jovanovi´c3 , Martin Sch¨af3 1 2