Title :
Common intermediate design language
Author :
Graves, Henson ; Polak, Wolfgang
Author_Institution :
Software Technol. Center, Lockheed Palo Alto Res. Labs., Palo Alto, CA, USA
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;
Conference_Titel :
System Sciences, 1992. Proceedings of the Twenty-Fifth Hawaii International Conference on
Conference_Location :
Kauai, HI
Print_ISBN :
0-8186-2420-5
DOI :
10.1109/HICSS.1992.183264
