A theory for program and data type specification (Q1199933)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 96274
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A theory for program and data type specification |
scientific article; zbMATH DE number 96274 |
Statements
A theory for program and data type specification (English)
0 references
17 January 1993
0 references
This is an attempt to develop a wide spectrum formalism which will support not only reasoning about program equivalence, but also covers reasoning about some properties of computations, specifications of programs and data types. The first-order, two-layered theory which is called IOCC (impredective theory of operations, control and classes) was created for these purposes. The lower layer is a theory of program equivalence and definedness. The upper layer is a theory of class membership with a general principle for defining classes. Examples are given to illustrate the reasoning about programs, steams and coroutines.
0 references
program equivalence
0 references
reasoning about programs
0 references
0.9381422
0 references
0.91264504
0 references
0 references
0.90346634
0 references
0.9009218
0 references
