Literature for Parallel Programming TEMPUS project activity

  1. [Adams68] D.A. Adams.
    A computational model with dataflow sequencing.
    PhD Thesis, TR/CS 117, Dept. of Computer Science, Stanford University, CA, 1968.
  2. [Ait-Kaci91] H. Ait-Kaci.
    Warren's Abstract Machine: A Tutorial Reconstruction.
    MIT Press, 1991.
  3. [Anderson89] A.J. Anderson.
    Multiple Processing: A Systems Overview.
    Prentice-Hall, New York, 1989.
  4. [Anderson90] P. Anderson, P. Kelley and P. Winterbottom.
    The feasibility of a general-purpose parallel computer using WSI.
    Future Generation Computer Systems, vol. 6, pp. 241-253, 1990.
  5. [Andrews91] G.R. Andrews.
    Concurrent Programming: Principles and Practice.
    Redwood City, CA: The Benjamin/Cummings Publishing Company Inc., 1991.
  6. [AndrSchne83] G.R. Andrews, Schneider.
    Concepts and notations for concurrent programming.
    ACM Computing Surveys, vol. 15, no. 1, pp. 3-43, March 1983.
  7. [AnnotHaan90] J.K. Annot and P.A.M. den Haan.
    POOL and DOOM: The object-oriented approach.
    In: P.C. Treleaven, ed., Parallel Computers, Chichester: Wiley. pp. 47-81, 1990.
  8. [AptEmden82] K.R. Apt and M.H. van Emden.
    Contributions to the theory of logic programming.
    Journal of ACM. vol. 29, no. 3, pp. 841-862, July 1982.
  9. [Backus78] J. Backus.
    Can programming be liberated from the von Neumann style? A functional style and its algebra of programs.
    Communications of ACM, vol. 21, no. 8, pp. 613-641, Aug. 1978.
  10. [BalSteTann89] H.E. Bal, J.G. Steiner, and A.S. Tannenbaum.
    Programming languages for distributed computing systems.
    ACM Computing Surveys, 21(3):261-322, Sept. 1989.
  11. [BHansen73] P. Brinch Hansen.
    Concurrent programming concepts.
    ACM Computing Surveys, 5, pp. 223-245. Dec. 1973.
  12. [BHansen75] P. Brinch Hansen.
    The programming language Concurrent Pascal.
    IEEE Transactions on Software Engineering, vol. SE-1, no. 2, pp. 199-206, June 1975.
  13. [BHansen75] P. Brinch Hansen.
    The programming language Concurrent Pascal.
    IEEE Transactions on Software Engineering, vol. SE-1, no. 2, pp. 199-206, June 1975.
  14. [BHansen77] P. Brinch Hansen.
    The Architecture of Concurrent Programs.
    Prentice-Hall, Englewood Cliffs, NJ, 1977.
  15. [BHansen81] P. Brinch Hansen.
    Edison: A multiprocessor language.
    Software Practice and Experience, vol. 11, no. 4, pp. 325-361, Apr. 1981.
  16. [Borgwardt84] P. Borgwardt.
    Parallel Prolog using stack segments on shared memory multiprocessors.
    Proceedings of the 1984 Symposium on Logic Programming.
  17. [BouGupWin91] O. Boudillet, J.P. Gupta, S.C. Winter.
    Implementation of Functional Multiprocessors.
    Wiley, 1991.
  18. [Burstall80] R.M. Burstall, D. McQueen and D. Sanella.
    HOPE: An experimental applicative language.
    Proc. 1st International LISP Conference, Stanford, pp. 136-143, 1980.
  19. [CampWalr97] M. Campione, K. Walrath.
    The Java Tutorial
    Addison-Wesley 1997.
  20. [Carlsson90] M. Carlsson.
    Design and implementation of an OR-parallel Prolog engine
    SICS Dissertation Series 02, March 1990.
  21. [Chakra82] U.S. Chakravarthy, S. Kasif, M. Kohli and J. Minker, D. Cao.
    Logic programming on ZMOB: a highly parallel machine.
    Proc. Int. Conference on Parallel Processing, IEEE, pp. 347-349, 1982.
  22. [ChangDesp85] J.H. Chang, A.M. Despain, D. Degroot.
    AND-parallelism of logic programs based on a static data dependency analysis.
    Proceedings of the IEEE Symposium on Logic Programming, 1985.
  23. [ChassinCodo94] J.Chassin de Kergommeaux, P. Codognet.
    Parallel logic programming systems.
    ACM Computing Surveys, Vol. 26., No. 3., Sept. 1994.
  24. [ChenRem85] M.C. Chen and M. Rem.
    Deadlock-freedom in resource contentions.
    ACTA Informatica, 21:585-598, 1985.
  25. [Church41] A. Church.
    The Calculi of Lambda-conversion.
    Princeton NJ: Princeton U. Press, 1941.
  26. [Clarke80] T.J.W. Clarke, P.J.S. Gladstone, C.D. MacLean and A.C. Norman.
    SKIM The S, K, I reduction machine.
    LISP Conference Record, Stanford University, pp. 128-135, 1980.
  27. [ClarkGreg83] K.L. Clark and S. Gregory.
    PARLOG: A parallel logic programming language.
    Imperial College Research Report 83/5, May 1983.
  28. [ClarkGreg86] K.L. Clark, S. Gregory.
    PARLOG: Parallel programming in logic.
    ACM Transactions on Programming Languages and Systems, 8(1):1-49, Jan. 1986.
  29. [Colmerauer72] A. Colmerauer, H. Kanoui, R. Pasero and P. Roussel.
    Un systeme de communication homme-machine en francais.
    Rapport preliminaire, Groupe de Researche en Intelligence Artificielle,Universite d'Aix-Marseille, Luminy, 1972.
  30. [Conery87] J.S. Conery.
    Binding environment for parallel logic programs in non-shared memory.
    Proceedings of the 1987 Symp. on Logic Programming.
  31. [CullPapa90] D.E. Culler and G.M. Papadipoulos. The explicit token store.
    Journal of Parallel and Distributed Computing, vol. 10, pp. 289-307, 1990.
  32. [Dahl68] O.-J. Dahl, K. Nygard, and B. Myhrhaug.
    The SIMULA 67 Common Base Language.
    Oslo: Norwegian Computing Centre, 1968
  33. [DahlNyg66] O.-J. Dahl and K. Nygard.
    SIMULA, an ALGOL-based simulation language.
    Communication of ACM, vol. 9, no. 9, pp. 671-678, Sept. 1966.
  34. [Degroot84] D. Degroot.
    Restricted AND-parallelism.
    Proceedings of the International Conference on Fifth Generation Computer Systems, 1984.
  35. [Delgado92a] S.A.Delgado-Rannuaro.
    OR-parallel logic computational models. In: P. Kacsuk, M.J. Wise: Implementations of Distributed Prolog. Wiley, 1992.
  36. [Delgado92b] S.A. Delgado-Rannuaro.
    Restricted AND- and AND/OR-parallel logic computational models.
    In: P. Kacsuk, M.J. Wise: Implementations of Distributed Prolog. Wiley, 1992.
  37. [Dijkstra68] E.W. Dijkstra.
    Cooperating sequential processes.
    In: F. Genuys, ed., Programming Languages, Acasemic Press, New York, 1968.
  38. [Duff90] C. Duff.
    ACTOR programming.
    Evanston Il: The Whitewater Group Inc. 1990.
  39. [Faber86] V. Faber, O.M. Lubeck and A.B. White, Jr.
    Superlinear speedup of an efficient sequential algorithm is not possible.
    Parallel Computing, vol. 3, pp. 259-260. 1986.
  40. [Ferenczi95] Sz. Ferenczi.
    Guarded methods vs. inheritance anonaly,
    ACM Sigplan, Feb. 1995.
  41. [Ferenczi96] Sz. Ferenczi.
    Parallel Execution of Object Oriented Programs: Message Handling Strategies,
    Elsevier Science, 1996.
  42. [FieldHarr88] A.J. Field and P.G. Harrison.
    Functional Programming.
    Wokingham: Addison-Wesley, 1988.
  43. [Flynn66] M.J. Flynn.
    Very-high speed computing systems.
    Proceedings of the IEEE, vol. 54, no. 12, pp. 1901-1909, Dec. 1966.
  44. [Geist94] A. Geist et al.
    PVM Parallel Virtual Machine, A User's Guide and Tutorial for Networked Parallel Computing.
    The MIT Press, 1994.
  45. [GoldKay76] A. Goldberg and A. Kay eds.
    Smalltalk-72 Instruction Manual. Xerox PARC Technical Report, March 1976.
  46. [GoldRob83] A. Goldberg and D. Robson.
    Smalltalk-80, The Language and its Implementation.
    Addison-Wesley, 1983.
  47. [GoodHed77] S.E. Goodman, and S.T. Hedetniemi.
    Introduction to the Design and Analysis of Algorithms.
    McGraw-Hill, New-York, 1977.
  48. [Gordon79] M.J.C. Gordon, R. Milner and C. Wadsworth.
    Lecture Notes in Computer Science. vol. 78.,
    Edinburgh LCF. Berlin: Springer-Verlag 1979.
  49. [Gorn58] S.Gorn.
    Letters to the editor.
    Communications of ACM, 1(1):2-4, 1958.
  50. [GraunThak90] G. Graunke and S.Thakkar.
    Synchronization algorithms for shared-memory multiprocessors.
    Computer, pp. 60-69, June 1990.
  51. [Green69] C. Green.
    Application of theorem proving to problem solving.
    Proc. of IJCAI, Washington DC, pp. 219-239, 1969.
  52. [GropLusk94] William Gropp, Ewing Lusk, and Anthony Skjellum,
    Using MPI: Portable Parallel Programming with the Message-Passing Interface,
    Cambridge, MA, MIT Press, 1994.
  53. [GropLusk94] William Gropp, Ewing Lusk, and Anthony Skjellum.
    Using MPI: Portable Parallel Programming with the Message-Passing Interface.
    Cambridge, MA, MIT Press, 1994.
  54. Ian Foster
    Designing and Building Parallel Programs
    Addison-Wesley, 1995.
  55. [GulAgha90] Gul Agha.
    Concurrent object oriented programming,
    Communications of the ACM, Sep. 1990.
  56. [Gurd87] J. Gurd, C. Kirkham and W. Böhm.
    The Manchaster Dataflow Computer System.
    J.J. Dongarra, ed., Experimental Parallel Computing Architectures. pp. 177-219, Elsevier North Holland, 1987.
  57. [HarrRee87] P.G. Harrison and M.J. Reeve.
    The parallel graph reduction machine
    ALICE. J.H. Fasel and R.M. Keller eds., Graph Reduction, Proc. a Workshop Santa Fé, Lecture Notes in Computer Science, pp. 181-195, Berlin: Sringer-Verlag 1987.
  58. [Hewitt73] Hewitt et al.
    A universal modular actor formalism for artificial intelligence.
    Proc. of IJCAI, pp. 235-245, 1973.
  59. [HillStee86] W.D. Hillis and G.L. Steele, Jr.
    Data parallel algorithms.
    Communication of ACM, 29(12) pp. 1170-1183, Dec. 1986.
  60. [Hoare74] C.A.R. Hoare.
    Monitors: An operating system structuring concept.
    Communication of ACM, 17(10) pp. 549-557, Oct. 1974.
  61. [Hoare78] C.A.R. Hoare.
    Communicating sequential processes.
    Communication of ACM, 21(8) pp. 666-677, Aug. 1978.
  62. [Hoare85] C.A.R. Hoare.
    Communicating Sequential Processes.
    Prentice-Hall, 1985.
  63. [Horn51] A. Horn.
    On sentences which are true of direct unions of algebras.
    Journal of Symbolic Logic, vol. 16, pp. 14-21, 1951.
  64. [Hudak86] P. Hudak.
    Para-functional programming.
    IEEE Computer, 19(8):60-70, Aug. 1986.
  65. [Ingalls78] D.H.H. Ingalls.
    The Smalltalk-76 programming system: Design and implementation.
    Proc. the 5th Annual ACM Symposium on Principles of Programming Languages. Tucson, Jan. 1978.
  66. [INMOS88] INMOS Limited.
    Occam 2, Reference Manual.
    Prentice-Hall International Series in Computer Science, 1988.
  67. [JonesLisk76] A.K. Jones and B.H. Liskov.
    A language extension for controlling access to shared data.
    IEEE Transactions on Software Engineering, vol. SE-2, no. 4, pp. 277-285, Dec. 1976.
  68. [Kacsuk92] P.Kacsuk, M.J.Wise.
    Implementations of Distributed Prolog.
    Wiley, 1992.
  69. [Kacsuk93] P. Kacsuk.
    Parallel implementation of prolog.
    Keynote lecture in Distance Learning Computer Science School of Mediterranien Universities, Lecce. EC Newsletter, Vol. 5. No. 2. p 25-60. 1993.
  70. [Karlsson92] R.Karlsson.
    A high performance OR-parallel Prolog system.
    SICS Dissertation Series 07, March 1992.
  71. [Karp87] A.H. Karp.
    Programming for parallelism.
    Computer, pp. 43-57, May. 1987.
  72. [KarpMill66] R.M. Karp and R.E. Miller. Properties of a model for parallel computations: determinancy, termination, queuing.
    SIAM Journal of Appliee Math,vol. 14, no. 6, pp. 1390-1411, Nov. 1966.
  73. [Kowalski74] R. Kowalski.
    Predicate logic as programming language.
    Proc. IFIP'74, pp. 569-574, North-Holland, 1974.
  74. [Kurfess90] F. Kurfess, X. Pandolfi, Z. Belmesk, W. Ertel, R. Letz and J. Schumann.
    PARTHEO and FP2: Design of a parallel inference machine.
    P.C. Treleaven ed., Parallel Computers, pp. 259-297, Chichester: Wiley, 1990.
  75. [Levi86] G. Levi.
    Logic programming: the foundations the approach and the role of concurrency.
    Current Trends in Concurrency. LNCS 224, pp. 396-441, Berlin: Springer-Verlag, 1986
  76. [Liebermann87] H. Lieberman.
    Concurrent object-oriented programming
    in Act 1. A. Yonezawa and M. Tokoro eds., Object-Oriented Concurrent Programing, pp. 9-36, The MIT Press, 1987.
  77. [LinKumar88] Y.J. Lin, V. Kumar.
    An execution model for expoloiting AND-parallelism in logic programs.
    New Generation Computing, No. 5. 1988.
  78. [Liskov76] B.H. Liskov.
    An introduction to CLU.
    Computation Structures Group Memo 136, Lab. Computer Science, MIT, Feb. 1976.
  79. [LiskZill74] B.H. Liskov and S. Zilles.
    Programming with abstract data types.
    Proc. ACM SIGPLAN Notices, vol. 9, no. 4, pp. 50-59, l974.
  80. [Lloyd84] J.W. Lloyd.
    Foundations of Logic Programming.
    Berlin: Springer-Verlag, 1984.
  81. [Mago80] Gy. Magó.
    A cellular computer architecture for functional programming.
    Proc. IEEE COMPCON, pp. 179-187, 1980.
  82. [MatsYone93] S. Matsuoka, A. Yonezawa.
    Analysis of inheritence anomaly in object oriented concurrent programming languages,
    OO-computing, Tokyo, 1993.
  83. [McBryan94] Oliver A. McBryan. An overview of message passing environments.
    Parallel Computing, vol 20, pp. 417-444, 1994.
  84. [Minsky75] M. Minsky.
    A framework for representing knowledge.
    P. Winston ed., The Psychology of Computer Vision. NY: McGraw-Hill, 1975.
  85. [MPI Forum94] Message Passing Interface Forum.
    MPI: A Message-Passing Interface Standard.
    International Journal of Supercomputer Applications, vol 8, nos 3/4, 1994.
  86. [ObjectSpace97] ObjectSpace Inc..
    Voyager Technical Overview,
    Whitepaper, 1997.
  87. [PJones87] Peyton Jones et al.
    GRIP A high performance architecture for parallel graph reduction. G. Kahn ed., Proc. the Functional Programming Languages and Computer Architecture Conference, Lecture Notes in Computer Science 274, pp. 98-112, Berlin: Springer-Verlag, 1987.
  88. [PJones87] S.L. Peyton-Jones.
    The Implementation of Functional Programming Languages.
    Prentice-Hall Intl. Series in Computer Science, 1987.
  89. [RoscHoare86] A.W. Roscoe and C.A.R Hoare.
    The laws of occam programming. Technical Report PRG-53, Oxford University Computing Laboratory, Programming Research Group, 8-11 Keble Road, Oxford OX1 3QD, 1986.
  90. [Roscoe84] A.W. Roscoe.
    Denotational semantics for occam.
    In: NSFISERC Workshop on Concurrency, vol, LNCS 197, pp. 306-329, July 1984.
  91. [Sanderwall73] E. Sanderwall.
    Conversion of predicate-calculus axioms, viewed as a non-deterministic programs, to corresponding deterministic rograms.
    Proc. of IJCAI-3, pp. 230-234, 1973.
  92. [Shapiro83] E.Y. Shapiro.
    A subset of concurrent Prolog and its interpreter.
    Technical Reports TR-003, ICOT, 1983.
  93. [Stroustrup86] B. Stroustrup.
    The C++ Programming Language.
    Addison-Wesley, 1986.
  94. [Taylor84] S. Taylor et al.
    Logic programming using parallel associative operations.
    Proc. IEEE 1984 Int. Symposium on Logic Programming, IEEE, pp. 58-68. 1984.
  95. [TeslerEnea68] L.G. Tesler and H.J. Enea.
    A language design for concurent processes.
    Proc. SJCC, pp. 403-408, 1968.
  96. [Townsend87] P. Townsend.
    Flagship hardware and implementation.
    ICL Technical Journal. pp. 575-594, May 1987.
  97. [Treleaven87] P.C. Treleaven et al.
    Computer Architectures for Artificial Intelligence in Future Parallel Computers,
    Lecture Notes in Computer Science, vol. 272, Berlin: Springer-Verlag, 1987.
  98. [Treleaven90] P.C. Treleaven ed. Parallel Computers,
    Chichester: Wiley, 1990.
  99. [Turing36] A.M. Turing.
    On computable numbers, with an applications to the Entsheidungproblem.
    Proc. of the London Mathematical Society, Series 2-42, pp. 230-265, 1936.
  100. [Turner79] D.A. Turner.
    A new implementation technique for applicative languages.
    Software Practice and Experience, vol. 9, pp. 31-49, Sept. 1979.
  101. [Turner85] D.A. Turner.
    Miranda: A non-strict functional language with polymorphic types.
    J.P. Jouannaud ed., Proc. Functional Programming Languages and Computer Architecture, pp. 1-16. Berlin: Springer-Verlag, 1985.
  102. [Warren83] D. H. D. Warren.
    An Abstract Prolog Instruction Set.
    SRI Technical Note 309. Oct. 1983.
  103. [Winter] S.C. Winter.
    Functional Programming.
    Lecture Notes.
  104. [Wirth71] N. Wirth.
    Program development by stepwise refinement.
    Communications of ACM, 14(4):221-227, 1971.
  105. [Wirth77a] N. Wirth.
    Modula: A language for modular multiprogramming.
    Software Practice and Experience, vol. 7, pp. 33-35, 1977.
  106. [Wirth77b] N. Wirth.
    The use of Modula.
    Software Practice and Experience, vol. 7, pp. 37-65, 1977.
  107. [Wirth77c] N. Wirth.
    Design and implementation of Modula.
    Software Practice and Experience, vol. 7, pp. 67-84, 1977.
  108. [Wulf74] W.A. Wulf.
    HYDRA: The kernel of a multiprocessor operating system.
    Communications of ACM, vol. 17, pp. 337-345, June 1974.
  109. [Wulf76] W.A. Wulf, R.L. London and M. Shaw.
    An introduction to the construction and verification of Alphards programs.
    IEEE Transactions on Software Engineering, vol. SE-2, no. 4, pp. 252-265, Dec. 1976.
  110. [YokoToko87] Y. Yokote, M. Tokoro.
    Concurrent programming in Concurrent Smalltalk.
    A. Yonezawa and M. Tokoro eds., Object-Oriented Concurrent Programming. The MIT Press, 1987.
  111. [YoneToko87] A. Yonezawa and M. Tokoro.
    Object-Oriented Concurrent Programming.
    The MIT Press, 1987.