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 viewCountry: 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
References: 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 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 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 in (1993) Computer Languages 18(1) in [ACM] (1998) [ACM] ACM Computing Surveys (CSUR) 30(2) June 1998 in [ACM] (1998) [ACM] ACM Computing Surveys (CSUR) 30(2) June 1998 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 |