Common intermediate design language

Author

Graves, Henson ; Polak, Wolfgang

Author_Institution

Software Technol. Center, Lockheed Palo Alto Res. Labs., Palo Alto, CA, USA

Volume

ii

fYear

1992

fDate

7-10 Jan 1992

Firstpage

497

Abstract

The common intermediate design language (CIDL) is a high-level executable system design language intended for the evolutionary prototyping of large distributed software systems. CIDL was designed to be the target language for code synthesis from high-level system descriptions and the source language for translation into Ada. The resulting design is a typed language with higher-order functions, polymorphism, and concurrency constructs. The language uses types as a representation of formal specifications

Keywords

distributed processing; formal specification; software prototyping; specification languages; Ada; CIDL; common intermediate design language; concurrency constructs; evolutionary prototyping; formal specifications; high-level executable system design language; large distributed software systems; polymorphism; source language; Application software; Automatic programming; Concurrent computing; Formal specifications; Prototypes; Radar tracking; Safety; Software prototyping; Software systems; Software tools;

fLanguage

English

Publisher

ieee

Conference_Titel

System Sciences, 1992. Proceedings of the Twenty-Fifth Hawaii International Conference on

Conference_Location

Kauai, HI

Print_ISBN

0-8186-2420-5

Type

conf

DOI

10.1109/HICSS.1992.183264

Filename

183264