الملاحق والمصطلحات

المراجع

1. هارولد أبيلسون، وأندرو برلين، وجاكوب كاتزنلسون، وويليام مكاليستر، وغييرمو روزاس، وجيرالد جاي سوسمان، وجاك ويزدم. 1992. «The Supercomputer Toolkit: A general framework for special-purpose computing». International Journal of High-Speed Electronics 3(3): 337-361 –›

2. جون ألين. 1978. «Anatomy of Lisp». نيويورك: McGraw-Hill.

3. ANSI X3.226-1994. «American National Standard for Information Systems—Programming Language—Common Lisp».

4. أندرو دبليو. آبل. 1987. «Garbage collection can be faster than stack allocation». Information Processing Letters 25(4): 275-279 –›

5. جون باكوس. 1978. «Can programming be liberated from the von Neumann style». Communications of the ACM 21(8): 613-641 –›

6. هنري جي. بيكر الابن. 1978. «List processing in real time on a serial computer». Communications of the ACM 21(4): 280-293 –›

7. جون باتالي، ونيل مايل، وهاوارد شروب، وجيرالد جاي سوسمان، ودانييل وايز. 1982. «The Scheme-81 architecture—System and chip». في وقائع MIT Conference on Advanced Research in VLSI, تحرير بول بينفيلد الابن ديدام، ماساتشوستس: Artech House.

8. آلان بورنينغ. 1977. «ThingLab—An object-oriented system for building simulations using constraints». في وقائع 5th International Joint Conference on Artificial Intelligence –›

9. آلان بورودين، وإيان مونرو. 1975. «The Computational Complexity of Algebraic and Numeric Problems». نيويورك: American Elsevier.

10. غريغوري جي. شيتين. 1975. «Randomness and mathematical proof». Scientific American 232(5): 47-52 –›

11. ألونزو تشرتش. 1941. «The Calculi of Lambda-Conversion». برينستون، نيو جيرسي: Princeton University Press.

12. كيث إل. كلارك. 1978. «Negation as failure». في Logic and Data Bases. نيويورك: Plenum Press, ص. 293-322 –›

13. ويليام كلينغر. 1982. «Nondeterministic call by need is neither lazy nor by name». في وقائع ACM Symposium on Lisp and Functional Programming, ص. 226-234.

14. ويليام كلينغر، وجوناثان ريز. 1991. «Macros that work». في وقائع 1991 ACM Conference on Principles of Programming Languages, ص. 155-162 –›

15. أ. كولميرو، وإتش. كانوي، وآر. باسيرو، وبي. روسو. 1973. «Un système de communication homme-machine en français». تقرير تقني، Groupe Intelligence Artificielle, Université d’Aix Marseille, Luminy –›

16. توماس كورمن، وتشارلز ليسيرسون، ورونالد ريڤست. 1990. «Introduction to Algorithms». كامبريدج، ماساتشوستس: MIT Press.

17. جون دارلينغتون، وبيتر هندرسون، وديفيد تيرنر. 1982. «Functional Programming and Its Applications». نيويورك: Cambridge University Press.

18. إدسخر دبليو. ديكسترا. 1968a. «The structure of the “THE” multiprogramming system». Communications of the ACM 11(5): 341-346 –›

19. إدسخر دبليو. ديكسترا. 1968b. «Cooperating sequential processes». في Programming Languages, تحرير إف. جينويس. نيويورك: Academic Press, ص. 43-112 –›

20. هاوارد بي. داينزمان. 1968. «Superior Mathematical Puzzles». نيويورك: Simon and Schuster.

21. جوهان دي كلير، وجون دويل، وغاي ستيل، وجيرالد جاي سوسمان. 1977. «AMORD: Explicit control of reasoning». في وقائع ACM Symposium on Artificial Intelligence and Programming Languages, ص. 116-125 –›

22. جون دويل. 1979. «A truth maintenance system». Artificial Intelligence 12: 231-272 –›

23. إدوارد فيغنباوم، وهاوارد شروب. 1993. «The Japanese National Fifth Generation Project: Introduction, survey, and evaluation». في Future Generation Computer Systems, المجلد 9, ص. 105-117 –›

24. مارك فيلي. 1986. «Deux approches à l’implantation du language Scheme». رسالة ماجستير، Université de Montréal –›

25. مارك فيلي وغاي لابالم. 1987. «Using closures for code generation». Journal of Computer Languages 12(1): 47-66 –›

26. ويليام فيلر. 1957. «An Introduction to Probability Theory and Its Applications, volume 1». نيويورك: John Wiley & Sons.

27. آر. فينيشيل، وجي. يوخيلسون. 1969. «A Lisp garbage collector for virtual memory computer systems». Communications of the ACM 12(11): 611-612 –›

28. روبرت فلويد. 1967. «Nondeterministic algorithms». JACM, 14(4): 636-644 –›

29. كينيث دي. فوربس، وجوهان دي كلير. 1993. «Building Problem Solvers». كامبريدج، ماساتشوستس: MIT Press.

30. دانييل بي. فريدمان، وديفيد إس. وايز. 1976. «CONS should not evaluate its arguments». في Automata, Languages, and Programming: Third International Colloquium, تحرير إس. مايكلسون and آر. ميلنر, ص. 257-284 –›

31. دانييل بي. فريدمان، وميتشل واند، وكريستوفر تي. هاينز. 1992. «Essentials of Programming Languages». كامبريدج، ماساتشوستس: MIT Press/McGraw-Hill.

32. ريتشارد بي. غابرييل. 1988. «The Why of Y». Lisp Pointers 2(2): 15-25 –›

33. أديل غولدبرغ، وديفيد روبسون. 1983. «Smalltalk-80: The Language and Its Implementation». ريدينغ، ماساتشوستس: Addison-Wesley –›

34. مايكل غوردون، وروبن ميلنر، وكريستوفر وادسوورث. 1979. «Edinburgh LCF». Lecture Notes in Computer Science, المجلد 78. نيويورك: Springer-Verlag.

35. جيم غراي، وأندرياس ريوتر. 1993. «Transaction Processing: Concepts and Models». سان ماتيو، كاليفورنيا: Morgan-Kaufman.

36. كورديل غرين. 1969. «Application of theorem proving to problem solving». في وقائع International Joint Conference on Artificial Intelligence, ص. 219-240 –›

37. كورديل غرين، وبيرترام رافائيل. 1968. «The use of theorem-proving techniques in question-answering systems». في وقائع ACM National Conference, ص. 169-181 –›

38. مارتن إل. غريس. 1981. «Portable Standard Lisp, a brief overview». Utah Symbolic Computation Group Operating Note 58, University of Utah.

39. جون في. غوتاغ. 1977. «Abstract data types and the development of data structures». Communications of the ACM 20(6): 396-404 –›

40. ريتشارد دبليو. هامينغ. 1980. «Coding and Information Theory». إنجلوود كليفس، نيو جيرسي: Prentice-Hall.

41. كريستوفر بي. هانسون. 1990. «Efficient stack allocation for tail-recursive languages». في وقائع ACM Conference on Lisp and Functional Programming, ص. 106-118 –›

42. كريستوفر بي. هانسون. 1991. «A syntactic closures macro facility». Lisp Pointers, 4(3) –›

43. غودفري إتش. هاردي. 1921. «Srinivasa Ramanujan». Proceedings of the London Mathematical Society XIX(2)

44. غودفري إتش. هاردي، وإي. إم. رايت. 1960. «An Introduction to the Theory of Numbers». الطبعة الرابعة. نيويورك: Oxford University Press –›

45. جي. هافندر. 1968. «Avoiding deadlocks in multi-tasking systems». IBM Systems Journal 7(2): 74-84.

46. أنثوني سي. هيرن. 1969. «Standard Lisp». تقرير تقني AIM-90, Artificial Intelligence Project, Stanford University –›

47. بيتر هندرسون. 1980. «Functional Programming: Application and Implementation». إنجلوود كليفس، نيو جيرسي: Prentice-Hall.

48. بيتر هندرسون. 1982. «Functional Geometry». في سجل وقائع 1982 ACM Symposium on Lisp and Functional Programming, ص. 179-187. , –› –›

49. كارل إي. هيويت. 1969. «PLANNER: A language for proving theorems in robots». في وقائع International Joint Conference on Artificial Intelligence, ص. 295-301 –›

50. كارل إي. هيويت. 1977. «Viewing control structures as patterns of passing messages». Journal of Artificial Intelligence 8(3): 323-364 –›

51. سي. إيه. آر. هور. 1972. «Proof of correctness of data representations». Acta Informatica 1(1)

52. أندرو هودجز. 1983. «Alan Turing: The Enigma». نيويورك: Simon and Schuster.

53. دوغلاس آر. هوفستادر. 1979. «Gödel, Escher, Bach: An Eternal Golden Braid». نيويورك: Basic Books.

54. آر. جي. إم. هيوز. 1990. «Why functional programming matters». في Research Topics in Functional Programming, تحرير ديفيد تيرنر. ريدينغ، ماساتشوستس: Addison-Wesley, ص. 17-42 –›

55. IEEE Std 1178-1990. 1990. «IEEE Standard for the Scheme Programming Language».

56. بيتر إنغرمان، وإدغار آيرونز، وكيرك ستلي، ووالاس فورزيغ؛ بمساعدة إم. ليند، وهيربرت كانر، وروبرت فلويد. 1960. «THUNKS: A way of compiling procedure statements, with some comments on procedure declarations». مخطوطة غير منشورة. (فضلًا عن تواصل خاص مع والاس فورزيغ.)

57. آن كالدِڤاي. 1990. «Programming: The Derivation of Algorithms». نيويورك: Prentice-Hall.

58. دونالد إي. كنوث. 1973. «Fundamental Algorithms». المجلد 1 من The Art of Computer Programming. الطبعة الثانية. ريدينغ، ماساتشوستس: Addison-Wesley.

59. دونالد إي. كنوث. 1981. «Seminumerical Algorithms». المجلد 2 من The Art of Computer Programming. الطبعة الثانية. ريدينغ، ماساتشوستس: Addison-Wesley.

60. يوجين إدموند كولبيكر الابن. 1986. «Syntactic extensions in the programming language Lisp». أطروحة دكتوراه، Indiana University –›

61. ميلوش كونوباسك، وسوندارسان جايارامان. 1984. «The TK!Solver Book: A Guide to Problem-Solving in Science, Engineering, Business, and Education». بركلي، كاليفورنيا: Osborne/McGraw-Hill.

62. روبرت كوالسكي. 1973. «Predicate logic as a programming language». تقرير تقني 70, Department of Computational Logic, School of Artificial Intelligence, University of Edinburgh –›

63. روبرت كوالسكي. 1979. «Logic for Problem Solving». نيويورك: North-Holland –›

64. ليزلي لامبورت. 1978. «Time, clocks, and the ordering of events in a distributed system». Communications of the ACM 21(7): 558-565 –›

65. باتلر لامبسون، وجي. جي. هورنينغ، وآر. لندن، وجي. جي. ميتشل، وجي. كي. بوبك. 1981. «Report on the programming language Euclid». تقرير تقني، Computer Systems Research Group, University of Toronto –›

66. بيتر لاندين. 1965. «A correspondence between Algol 60 and Church’s lambda notation: Part I». Communications of the ACM 8(2): 89-101.

67. هنري ليبرمان، وكارل إي. هيويت. 1983. «A real-time garbage collector based on the lifetimes of objects». Communications of the ACM 26(6): 419-429 –›

68. باربارا إتش. ليسكوف، وستيفن إن. زيلز. 1975. «Specification techniques for data abstractions». IEEE Transactions on Software Engineering 1(1): 7-19 –›

69. ديفيد ألين مكاليستر. 1978. «A three-valued truth-maintenance system». Memo 473, MIT Artificial Intelligence Laboratory –›

70. ديفيد ألين مكاليستر. 1980. «An outlook on truth maintenance». Memo 551, MIT Artificial Intelligence Laboratory –›

71. جون مكارثي. 1960. «Recursive functions of symbolic expressions and their computation by machine». Communications of the ACM 3(4): 184-195 –›

72. جون مكارثي. 1963. «A basis for a mathematical theory of computation». في Computer Programming and Formal Systems, تحرير بي. برافورت and دي. هيرشبرغ. North-Holland –›

73. جون مكارثي. 1978. «The history of Lisp». في وقائع ACM SIGPLAN Conference on the History of Programming Languages –›

74. جون مكارثي، وبي. دبليو. أبراهامز، ودي. جي. إدواردز، وتي. بي. هارت، وإم. آي. ليفين. 1965. «Lisp 1.5 Programmer’s Manual». الطبعة الثانية. كامبريدج، ماساتشوستس: MIT Press –›

75. درو مكديرموت، وجيرالد جاي سوسمان. 1972. «Conniver reference manual». Memo 259, MIT Artificial Intelligence Laboratory –›

76. غاري إل. ميلر. 1976. «Riemann’s Hypothesis and tests for primality». Journal of Computer and System Sciences 13(3): 300-317 –›

77. جيمس إس. ميلر، وغييرمو جي. روزاس. 1994. «Garbage collection is fast, but a stack is faster». Memo 1462, MIT Artificial Intelligence Laboratory –›

78. ديفيد مون. 1978. «MacLisp reference manual, Version 0». تقرير تقني، MIT Laboratory for Computer Science –›

79. ديفيد مون، ودانييل واينرب. 1981. «Lisp machine manual». تقرير تقني، MIT Artificial Intelligence Laboratory –›

80. جي. إتش. موريس، وإريك شميت، وفيليب وادلر. 1980. «Experience with an applicative string processing language». في وقائع 7th Annual ACM SIGACT/SIGPLAN Symposium on the Principles of Programming Languages.

81. هيوبرت فيليبس. 1934. «The Sphinx Problem Book». لندن: Faber and Faber.

82. كنت بيتمان. 1983. «The revised MacLisp Manual (Saturday evening edition)». تقرير تقني 295, MIT Laboratory for Computer Science –›

83. مايكل أو. رابين. 1980. «Probabilistic algorithm for testing primality». Journal of Number Theory 12: 128-138.

84. إريك ريموند. 1993. «The New Hacker’s Dictionary». الطبعة الثانية. كامبريدج، ماساتشوستس: MIT Press –›

85. ميشال رينال. 1986. «Algorithms for Mutual Exclusion». كامبريدج، ماساتشوستس: MIT Press.

86. جوناثان إيه. ريز، ونورمان آي. آدامز الرابع. 1982. «T: A dialect of Lisp or, lambda: The ultimate software tool». في سجل وقائع 1982 ACM Symposium on Lisp and Functional Programming, ص. 114-122 –›

87. جوناثان ريز، وويليام كلينغر (محرّران). 1991. «The revised⁴ report on the algorithmic language Scheme». Lisp Pointers, 4(3) –›

88. رونالد ريڤست، وعادي شامير، وليونارد أدليمان. 1977. «A method for obtaining digital signatures and public-key cryptosystems». مذكرة تقنية LCS/TM82, MIT Laboratory for Computer Science –›

89. جي. إيه. روبنسون. 1965. «A machine-oriented logic based on the resolution principle». Journal of the ACM 12(1): 23.

90. جي. إيه. روبنسون. 1983. «Logic programming—Past, present, and future». New Generation Computing 1: 107-124.

91. يوجين إتش. سبافورد. 1989. «The Internet Worm: Crisis and aftermath». Communications of the ACM 32(6): 678-688 –›

92. غاي لويس ستيل الابن. 1977. «Debunking the “expensive procedure call” myth». في وقائع National Conference of the ACM, ص. 153-62 –›

93. غاي لويس ستيل الابن. 1982. «An overview of Common Lisp». في وقائع ACM Symposium on Lisp and Functional Programming, ص. 98-107.

94. غاي لويس ستيل الابن. 1990. «Common Lisp: The Language». الطبعة الثانية. Digital Press –›

95. غاي لويس ستيل الابن، وجيرالد جاي سوسمان. 1975. «Scheme: An interpreter for the extended lambda calculus». Memo 349, MIT Artificial Intelligence Laboratory –›

96. غاي لويس ستيل الابن، ودونالد آر. وودز، ورافائيل إيه. فينكل، ومارك آر. كريسبين، وريتشارد إم. ستالمان، وجيفري إس. غودفيلو. 1983. «The Hacker’s Dictionary». نيويورك: Harper & Row –›

97. جوزيف إي. ستوي. 1977. «Denotational Semantics». كامبريدج، ماساتشوستس: MIT Press.

98. جيرالد جاي سوسمان، وريتشارد إم. ستالمان. 1975. «Heuristic techniques in computer-aided circuit analysis». IEEE Transactions on Circuits and Systems CAS-22(11): 857-865 –›

99. جيرالد جاي سوسمان، وغاي لويس ستيل الابن. 1980. «Constraints—A language for expressing almost-hierachical descriptions». AI Journal 14: 1-39 –›

100. جيرالد جاي سوسمان، وجاك ويزدم. 1992. «Chaotic evolution of the solar system». Science 257: 256-262 –›

101. جيرالد جاي سوسمان، وتيري وينوغراد، ويوجين تشارنياك. 1971. «Microplanner reference manual». Memo 203A, MIT Artificial Intelligence Laboratory –›

102. إيفان إي. ساذرلاند. 1963. «SKETCHPAD: A man-machine graphical communication system». تقرير تقني 296, MIT Lincoln Laboratory –›

103. وارن تيتلمان. 1974. «Interlisp reference manual». تقرير تقني، Xerox Palo Alto Research Center –›

104. جيمس دبليو. تاتشر، وإريك جي. واغنر، وجيسي بي. رايت. 1978. «Data type specification: Parameterization and the power of specification techniques». في سجل وقائع Tenth Annual ACM Symposium on Theory of Computing, ص. 119-132.

105. ديفيد تيرنر. 1981. «The future of applicative languages». في وقائع 3rd European Conference on Informatics, Lecture Notes in Computer Science, المجلد 123. نيويورك: Springer-Verlag, ص. 334-348.

106. ميتشل واند. 1980. «Continuation-based program transformation strategies». Journal of the ACM 27(1): 164-180 –›

107. ريتشارد سي. ووترز. 1979. «A method for analyzing loop programs». IEEE Transactions on Software Engineering 5(3): 237-247.

108. تيري وينوغراد. 1971. «Procedures as a representation for data in a computer program for understanding natural language». تقرير تقني AI TR-17, MIT Artificial Intelligence Laboratory –›

109. باتريك وينستون. 1992. «Artificial Intelligence». الطبعة الثالثة. ريدينغ، ماساتشوستس: Addison-Wesley.

110. رامين زابيه، وديفيد مكاليستر، وديفيد شابمان. 1987. «Non-deterministic Lisp with dependency-directed backtracking». AAAI-87, ص. 59-64 –›

111. ريتشارد زيبيل. 1979. «Probabilistic algorithms for sparse polynomials». أطروحة دكتوراه، Department of Electrical Engineering and Computer Science, MIT.

112. ريتشارد زيبيل. 1993. «Effective Polynomial Computation». بوسطن، ماساتشوستس: Kluwer Academic Publishers.