|
Avtomatika i Telemekhanika, 1989, Issue 3, Pages 167–175
(Mi at6245)
|
|
|
|
Computer-Aided Design and Programming
Classification and control of types in programs for complex data structures
A. V. Babichev Moscow
Abstract:
Tools are proposed for program specification with logical formulas. A method is considered of type control with a specification formulated in this way.
Received: 08.10.1987
Citation:
A. V. Babichev, “Classification and control of types in programs for complex data structures”, Avtomat. i Telemekh., 1989, no. 3, 167–175; Autom. Remote Control, 50:3 (1989), 422–429
Linking options:
https://www.mathnet.ru/eng/at6245 https://www.mathnet.ru/eng/at/y1989/i3/p167
|
Statistics & downloads: |
Abstract page: | 82 | Full-text PDF : | 50 | First page: | 2 |
|