The essence of parallel algol

Information and Computation

Volumn 179, Issue 1, 2002, Pages 118-149

  Brookes, Stephen ^a  

^a Carnegie Mellon University ^*  (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN FUNCTIONS; OBJECT ORIENTED PROGRAMMING; PARALLEL ALGORITHMS; PARALLEL PROCESSING SYSTEMS; SEMANTICS; SYNTACTICS; TIME SHARING SYSTEMS;

FUNCTIONAL PROGRAMMING; PARALLEL LANGUAGE; PARALLEL PROGRAMMING; SEQUENTIAL PROGRAMMING LANGUAGE; SHARED VARIABLE MODEL;

ALGOL (PROGRAMMING LANGUAGE);

EID: 0037175769     PISSN: 08905401     EISSN: None     Source Type: Journal    
DOI: 10.1006/inco.2002.2995     Document Type: Article

References (20)

1. Abramsky, S., and Jensen, T. P. (1991), A relational approach to strictness analysis for higher-order polymorphic functions, in "Conf. Record 18th ACM Symposium on Principles of Programming Languages," pp. 49-54. Assoc. Comput. Mach., New York.
2. Andrews, G. R. (1991), "Concurrent Programming: Principles and Practice," Benjamin-Cummings, Redwood City, CA.
3. Brookes, S. (1993), Full abstraction for a shared variable parallel language, in "Proc. 8th Annual IEEE Symposium on Logic in Computer Science," June, pp. 98-109, IEEE Computer Society Press, Los Alamitos, CA.
4. Halpern, J. Y., Meyer, A. R., and Trakhtenbrot, B. A. (1983), The semantics of local storage, or What makes the free list free? in "ACM Symposium on Principles of Programming Languages," pp. 245-257.
5. Mitchell, J. C., and Scedrov, A. (1993), Notes on sconing and relators, in "Computer Science Logic '92. Selected Papers" (E. Boerger, Ed.) Lecture Notes in Computer Science, Vol. 702, pp. 352-378. Springer-Verlag, Berlin.
6. O'Hearn, P. W. (1993), A model for syntactic control of interference, Math. Structures Comput. Sci. 3(4), 435-465.
7. O'Hearn, P. W., Power, A. J., Takeyama, M., and Tennent, R. D. (1995), Syntactic control of interference revisited, in "Proceedings of 11th Conference on Mathematical Foundations of Programming Semantics," Elsevier Science, Amsterdam.
8. O'Hearn, P. W., and Reynolds, J. C. (2000), From Algol to polymorphic linear lambda-calculus, J. Assoc. Comput. Mach. 47(1), 167-223.
9. O'Hearn, P. W., and Tennent, R. D. (1995), Parametricity and local variables, J. Assoc. Comput. Mach. 42(3), 658-709.
10. O'Hearn, P. W., and Tennent, R. D. (1997), "Algol-like Languages," Birkhäuser, Basel.
11. Oles, F. J. (1982), "A Category-Theoretic Approach to the Semantics of Programming Languages," Ph.D. thesis, Syracuse University.
12. Park, D. (1979), On the semantics of fair parallelism, "Abstract Software Specifications" (D. Bjørner, Ed.), Lecture Notes in Computer Science, Vol. 86, pp. 504-526, Springer-Verlag, Berlin.
13. Reddy, U. S. (1996), Global state considered unnecessary: Object-based semantics of interference-free imperative programming, Lisp Symbolic Comput. 9(1), 7-76.
14. Reynolds, J. C. (1981), The essence of Algol, in "Algorithmic Languages," pp. 345-372, North-Holland, Amsterdam.
15. Reynolds, J. C. (1983), Types, abstraction, and parametric polymorphism, in "Information Processing 83," pp. 513-523, North-Holland, Amsterdam.
16. Reynolds, J. C. (1989), Syntactic control of interference, part 2, in "Proceedings of the 16th International Colloquium on Automata, Languages and Programming," Lecture Notes in Computer Science, Vol. 372, pp. 704-722, Springer-Verlag, Berlin.
17. Reynolds, J. C. (1978), Syntactic control of interference, in "Conference Record of 5th Annual ACM Symposium on Principles of Programming Languages," January, pp. 39-46, Assoc. Comput. Mach., New York.
18. Roscoe, A. W. (1998), "Theory and Practice of Concurrency," Prentice Hall, New York.
19. Tarski, A. (1955), A lattice-theoretical fixpoint theorem and its applications. Pacific J. Math. 5, 285-309.
20. Tennent, R. D. (1983), Semantics of interference control, Theoret. Comput. Sci. 27, 297-310.