Termination conventions and comparative semantics.
| Autor: | Hehner, Eric, Malton, Andrew |
|---|---|
| Zdroj: | Acta Informatica; 1988, Vol. 25 Issue 1, p1-14, 14p |
| Abstrakt: | The notion of termination is examined, first for its physical observability, then for its part in six semantic formalisms, with emphasis on predicative semantics. [ABSTRACT FROM AUTHOR] |
| Databáze: | Complementary Index |
| Externí odkaz: |
|
Full text from SpringerLink