Third-order Idealized Algol with iteration is decidable
The problems of contextual equivalence and approximation are studied for the third-order fragment of Idealized Algol with iteration (<strong>IA</strong><sup>*</sup><sub>3</sub>). They are approached via a combination of game semantics and language theory. It is sh...
| Հիմնական հեղինակներ: | , |
|---|---|
| Ձևաչափ: | Journal article |
| Լեզու: | English |
| Հրապարակվել է: |
Elsevier
2008
|
| Խորագրեր: |