H ? « ‹ ← → › »

Language peer sets for Unity:
United States↑
United States/1988↑
Designed 1988 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑

Unity(ID:1446/uni023)

alternate simple view
Country: United States
Designed 1988
Published: 1988

Misra and Chandy 1978

A high-level parallel language.

Lamport says (in his annotated biblio)
"The first major step in getting beyond traditional programming languages to describe concurrent algorithms was Misra and Chandy's Unity.  Unity simply eliminated the control state, so you just had a single global state that you reasoned about with a single invariant.  You can structure the invariant any way you want; you're not restricted by the particular programming constructs with which the algorithm is described."

Related languages
Unity → UC   Influence
References:
  • Chandry, K.M. and Misra (1988) Chandry, K.M. and Misra "Parallel Program Design", A-W 1988
  • Chakravarty, Indranil et al (1991) Chakravarty, Indranil et al "UNITY to UC: A Case Study in the Derivation of Parallel Programs"
          in Banâtre, J.P. (1992) Banâtre, J.P. and D. Le Métayer, (eds) Research Directions in High-Level Parallel Programming Languages, June 17-19 1991 LNCS 574, Springer Verlag, Berlin 1992
  • Pizzarello, Antonio (1991) Pizzarello, Antonio "An Industrial Experience in the Use of UNITY" pp39-49
          in Banâtre, J.P. (1992) Banâtre, J.P. and D. Le Métayer, (eds) Research Directions in High-Level Parallel Programming Languages, June 17-19 1991 LNCS 574, Springer Verlag, Berlin 1992
  • Sanders, Beverly A. (1991) Sanders, Beverly A. "On the UNITY Design Decisions" pp50-63
          in Banâtre, J.P. (1992) Banâtre, J.P. and D. Le Métayer, (eds) Research Directions in High-Level Parallel Programming Languages, June 17-19 1991 LNCS 574, Springer Verlag, Berlin 1992
  • Radha, S. and C. R. Muthukrishnan (1993) Radha, S. and C. R. Muthukrishnan "A portable implementation of UNITY on von Neumann machines"
          in (1993) Computer Languages 18(1)
  • Skillicorn, David B. and Talia, Domenico (1998) Skillicorn, David B. and Talia, Domenico "Models and languages for parallel computation" pp123-169
          in [ACM] (1998) [ACM] ACM Computing Surveys (CSUR) 30(2) June 1998
  • Hooker, J.N.; Kim, Hak-Jin; Ottosson, G. (2001) Hooker, J.N.; Kim, Hak-Jin; Ottosson, G. "A Declarative Modeling Framework that Integrates Solution Methods" Annals of Operations Research 104 (1-4): 141-161, April 2001 Abstract
          in [ACM] (1998) [ACM] ACM Computing Surveys (CSUR) 30(2) June 1998
  • Page, Ernest H.; Abrams, Marc (2001) Page, Ernest H.; Abrams, Marc "Simulation Model Development and Analysis in UNITY" Annals of Operations Research 104 (1-4): 181-212, April 2001 Abstract
          in [ACM] (1998) [ACM] ACM Computing Surveys (CSUR) 30(2) June 1998
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder