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.

UDC: 517.987


Received: 08.10.1987

 English version: Automation and Remote Control, 1989, 50:3, 422–429

Bibliographic databases:

• 
•