• DocumentCode
    747194
  • 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
  • Issue
    9
  • fYear
    1987
  • Firstpage
    1038
  • Lastpage
    1046
  • 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;
  • fLanguage
    English
  • Journal_Title
    Software Engineering, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0098-5589
  • Type

    jour

  • DOI
    10.1109/TSE.1987.233791
  • Filename
    1702326