This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Very High Level Concurrent Programming
September 1987 (vol. 13 no. 9)
pp. 1038-1046
ASCII Text
x 
 
Y. Shi, N. Prywes, B. Szymanski, A. Pnueli, "Very High Level Concurrent Programming," IEEE Transactions on Software Engineering, vol. 13, no. 9, pp. 1038-1046, September, 1987.
 
 
BibTex
x
 
@article{ 10.1109/TSE.1987.233791,
author = {Y. Shi and N. Prywes and B. Szymanski and A. Pnueli},
title = {Very High Level Concurrent Programming},
journal ={IEEE Transactions on Software Engineering},
volume = {13},
number = {9},
issn = {0098-5589},
year = {1987},
pages = {1038-1046},
doi = {http://doi.ieeecomputersociety.org/10.1109/TSE.1987.233791},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - JOUR
JO - IEEE Transactions on Software Engineering
TI - Very High Level Concurrent Programming
IS - 9
SN - 0098-5589
SP1038
EP1046
EPD - 1038-1046
A1 - Y. Shi,
A1 - N. Prywes,
A1 - B. Szymanski,
A1 - A. Pnueli,
PY - 1987
KW - specification languages
KW - Automatic program generation
KW - concurrent programming
KW - nonprocedural languages
VL - 13
JA - IEEE Transactions on Software Engineering
ER -
 
Y. Shi, Department of Computer and Information Science, Temple University
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.
Index Terms:
specification languages, Automatic program generation, concurrent programming, nonprocedural languages
Citation:
Y. Shi, N. Prywes, B. Szymanski, A. Pnueli, "Very High Level Concurrent Programming," IEEE Transactions on Software Engineering, vol. 13, no. 9, pp. 1038-1046, Sept. 1987, doi:10.1109/TSE.1987.233791
Usage of this product signifies your acceptance of the Terms of Use.