Title :
Very High Level Concurrent Programming
Author :
Shi, Y. ; Prywes, N. ; Szymanski, B. ; Pnueli, A.
Author_Institution :
Department of Computer and Information Science, Temple University
Abstract :
Concurrent systems are typically large and complex, requiring long, development time and much labor. They are, therefore, prime candidates for simplification and automation of the design and programming process. Their major application areas include real time systems, operating systems and cooperative computation. New applications are emerging with the trends towards wide usage of personal computers connected in a network and towards use of parallel processing in supercomputer architectures.
Keywords :
Automatic program generation; concurrent programming; nonprocedural languages; specification languages; Application software; Automatic programming; Computer architecture; Design automation; Microcomputers; Operating systems; Parallel processing; Process design; Real time systems; Supercomputers; Automatic program generation; concurrent programming; nonprocedural languages; specification languages;
Journal_Title :
Software Engineering, IEEE Transactions on
DOI :
10.1109/TSE.1987.233791
