|
|||||
|
|
The logical meaning of programs of a subrecursive language |
|
| Authors: | Wolfgang Coy |
| Affiliation: | Fachbereich Informatik an der Technischen Hochschen Hochschule Darmstadt, Magdalenenstr. 11, D-61 Darmstadt, Fed. Rep. Germany |
| Abstract: | |
| Keywords: | FLOYD-assertions fixpoint semantics subrecursive programming languages |
| 本文献已被 ScienceDirect 等数据库收录！ | |