Direct semantics of concurrent languages in the SMoLCS approach

Journal Article · Tue Sep 01 04:00:00 EDT 1987 · IBM J. Res. Dev.; (United States)

DOI:https://doi.org/10.1147/rd.315.0512· OSTI ID:5384759

Astesiano, E; Reggio, G

For years providing syntax-directed methods for the formal definition of concurrent languages has proved to be a challenging task. Problems are even more difficult if a language has some of the typical Ada features, such as strong interference between sequential and concurrent aspects, parameterized semantics, complex data structure, and finally an extremely large size. The authors developed an approach, the SMoLCS approach, which extends the denotational method to handle concurrent languages and also provides a solution to the above problems. Their method has been adopted for the formal definition of full Ada within the related EEC project. They illustrate the basic principles of the approach, following the so-called direct semantics style used for Ada with the help of a toy language as a running example.

• OSTI ID: 5384759
• Journal Information: IBM J. Res. Dev.; (United States), Journal Name: IBM J. Res. Dev.; (United States) Vol. 31:5; ISSN IBMJA
• Country of Publication: United States
• Language: English

Related Subjects

99 GENERAL AND MISCELLANEOUS
990210* -- Supercomputers-- (1987-1989)
ADA
NATURAL LANGUAGE
PARALLEL PROCESSING
PROGRAMMING
PROGRAMMING LANGUAGES