On strongest algebraic program invariants
A polynomial program is one in which all assignments are given by polynomial expressions and in which all branching is nondeterministic (as opposed to conditional). Given such a program, an algebraic invariant is one that is defined by polynomial equations over the program variables at each program...
| Автори: | , , , |
|---|---|
| Формат: | Journal article |
| Мова: | English |
| Опубліковано: |
Association for Computing Machinery
2023
|