Programming (1995)

• Russell J. Abbott. Set notation as a language to specify data transformation programs. Software: Practice & Experience, 19(6):593–606, June 1989.
• Harvey Abramson. A Prological definition of HASL: A purely functional language with unification-based conditional binding expressions. In Doug DeGroot and Gary Lindstrom, editors, Logic Programming, Functions, Relations and Equations, pages 73–129. Prentice Hall, Englewood Cliffs, NJ, USA, 1986.
• Norman Adams and Jonathan Rees. Object-oriented programming in Scheme. In Proceedings of the 1988 ACM Conference on LISP and Functional Programming, pages 277–288. Association for Computing Machinery, July 1988.
• Gul Agha. Supporting multiparadigm programming on actor architectures. In E. Odijk, M. Rem, and J.-C. Syre, editors, PARLE '89: Parallel Architectures and Languages Europe, Volume II: Parallel Languages, pages 1–19. Springer-Verlag, June 1989. Lecture Notes in Computer Science 366.
• A. V. Aho and M. Ganapathi. Efficient tree pattern matching: An aid to code generation. In Conference Record of the 12th Annual ACM Symposium on Principles of Programming Languages, pages 334–340, January 1985.
• Hassan Aït-Kaci and Roger Nasr. Logic and inheritance. In Conference Record of the 13th Annual ACM Symposium on Principles of Programming Languages, pages 219–228. Association for Computing Machinery, Januray 1986.
• Kiyoshi Akama. Inheritance hierarchy in prolog. In Eiiti Wada, editor, Logic Programming '86, Proceedings of the 5th Conferene, pages 12–21. Springer-Verlag, June 1986. Lecture Notes in Computer Science 264.
• Suad Alagic. Toward multiparadigm database interfaces. In J. W. Schmidt and A. A. Stogny, editors, Next Generation Information System Technology: First International East/West Data Base Workshop, pages 333–346. Springer-Verlag, October 1990. Lecture Notes in Computer Science 504.
• Lloyd Allison. Syntax directed program editing. Software: Practice & Experience, 13(5):453–465, May 1983.
• Pierre America. Issues in the Design of a parallel object-oriented language. Formal Aspects of Computing, 1(4):366–411, October 1989.
• Gao Yaoqing andd Yuen Chung Kwong. A survey of implementations of concurrent, parallel, and distributed smalltalk. ACM SIGPLAN Notices, 28(9):29–35, September 1993.
• P. B. Andersen. A Theory of Computer Semiotics: Semiotic Approaches to Construction and Assessment of Computer Systems. Cambridge University Press, 1990.
• Timothy Andrew and Craig Harris. Combining language and database advances in an object-oriented development environment. ACM SIGPLAN Notices, 22(12):430–440, December 1987. Special Issue: Object-Oriented Programming Systems, Languages and Applications, OOPSLA '87 Conference Proceedings, October 4–8 Orlando, Florida, USA.
• Andrew W. Appel and David B. MacQueen. A standard ML compiler. In Gilles Kahn, editor, Functional Programming Languages and Computer Architecture, pages 301–324. Springer-Verlag, 1987. Lecture Notes in Computer Science 274.
• Andrew W. Appel, Bruce F. Duba, and David B. MacQueen. Profiling in the presence of optimization and garbage collection. Part of the New Jersey Standard ML distribution, November 1988.
• Andrew W. Appel, James S. Mattson, and David R. Tarditi. A lexical analyzer generator for standard ML. Part of the New Jersey Standard ML distribution, December 1989.
• Andrew W. Appel. A runtime system. Part of the New Jersey Standard ML distribution, February 1989.
• Andrew W. Appel. Simple generational garbage collection and fast allocation. Software: Practice & Experience, 19(2):171–183, February 1989.
• E. A. Ashcroft and W. W. Wadge. Lucid — a formal system for writing and procing programs. SIAM Journal of Computing, 5(3):336–354, September 1976.
• John Backus. Can programming be liberated form the von Neumann style? a functional style and its algebra of programs. Communications of the ACM, 21(8):613–641, August 1978.
• John Backus. The history of FORTRAN I, II and III. ACM SIGPLAN Notices, 13(8):165–180, August 1978.
• Ronald Baecker. Enhancing program readability and comprehensibility with tools for program visualisation. In Proceedings of the 10th International Conference on Software Engineering, pages 356–366. IEEE Computer Society Press, April 1988.
• Paul A. Bailes and Eric J. Salzman. Software development by functional language prototyping. Technical report, Department of Computer Science, University of Queensland, St. Lucia, Queensland, Australia, 1986.
• H. E. Bal, J. G. Steiner, and A. S. Tanenbaum. Programming languages for distributed computing systems. ACM Computing Surveys, 21(3):261–322, September 1989.
• Robert G. Bandes. Constraining-unification and the programming language unicorn. In Doug DeGroot and Gary Lindstrom, editors, Logic Programming, Functions, Relations and Equations, pages 397–410. Prentice Hall, Englewood Cliffs, NJ, USA, 1986.
• M. R. Barbacci, C. B. Winstock, and J. M. Wing. Programming at the processor-memory-switch level. In Proceedings of the 10th International Conference on Software Engineering, pages 19–28. IEEE Computer Society Press, April 1988.
• R. Barbuti, M. Bellia, G. Levi, and M. Martelli. On the integration of logic programming and functional programming. In 1984 International Symposium on Logic Programming, pages 160–166. The Computer Society of the IEEE, IEEE Computer Society Press, February 1984.
• R. Barbuti, M. Bellia, G. Levi, and M. Martelli. Leaf: A language which integrates logic, equations and functions. In Doug DeGroot and Gary Lindstrom, editors, Logic Programming, Functions, Relations and Equations, pages 201–238. Prentice Hall, Englewood Cliffs, NJ, USA, 1986.
• Len Bass, Brian Clapper, Erik Hardy, Rick Kazman, and Robert Seacord. Serpent: A user interface environment. In Proceedings of the Winter 1990 USENIX Conference, pages 245–257. Usenix Association, January 1990.
• F. L. Bauer, M. Broy, R. Gnatz, B. Krieg-Brückner, H. Partsch, P. Pepper, and H. Wössner. Towards a wide spectrum language to support program specification and program development. Working material for the lectures of F. L. Bauer, July 1978. International Summer School on Program Construction, Technical University Munich, Germany.
• Doug Bell and Mike Parr. Spreadsheets: a research agenda. ACM SIGPLAN Notices, 28(9):26–28, September 1993.
• Marco Bellia, Pierpaolo Degano, and Giorgio Levi. The call by name semantics of a clause language with functions. In Keith L. Clark and Sten-Åke Tärnlund, editors, Logic Programming, pages 281–295. Academic Press, 1982.
• Herbert D. Benington. Production of large computer programs. Annals of the History of Computing, 5(4):350–361, October 1983.
• Emery Berger. FP + OOP = Haskell. Technical report, Department of Computer Science, The University of Texas at Austin, Texas, AU, USA, March 1992.
• F. Berthier. Using chip to support decision making. Technical Report LP TR-LP-30, ECRC, Arabellastr. 17, 8000 Munich 81, West Germany, February 1988.
• Meurig Beynon. Paradigms for programming. Technical report, Department of Computer Science, University of Warwick, Coventry, UK, 1986.
• W. R. Van Biljon, D. A. Sewry, and M. A. Mulders. Register allocation in a pattern matching code generator. Software: Practice & Experience, 17(8):521–531, August 1987.
• R. S. Bird. A calculus of functions for program derivation. In David A. Turner, editor, Research Topics in Functional Programming, chapter 11, pages 287–307. Addison-Wesley, 1990. written in 1987.
• Dines Bjørner. On the use of formal methods in software development. In Proceedings of the 9th International Conference on Software Engineering, pages 17–29. IEEE Computer Society Press, March 1987.
• Daniel G. Bobrow, Kenneth Kahn, Gregor Kiczales, Larry Masinter, Mark Stefik, and Frank Zdybel. CommonLoops: Merging Lisp and object-oriented programming. ACM SIGPLAN Notices, 21(11):17–29, November 1986. Special Issue: Object-Oriented Programming Systems, Languages and Applications, OOPSLA '86 Conference Proceedings, September 29 – October 2, Portland, Oregon, USA.
• Daniel G. Bobrow, L. G. DeMichiel, R. P. Gebriel, S. E. Keene, G. Kiczales, and D. A. Moon. Common Lisp object system specification, X3J13 document 88–002R. ACM SIGPLAN Notices, 23, September 1988. Special Issue.
• Daniel G. Bobrow. If Prolog is the answer, what is the question. In Fifth Generation Computer Systems 1984, pages 138–145. Institute for New Generation Computer Technology (ICOT), North-Holland, November 1984.
• Jorge Bocca. EDUCE a marriage of convenience: Prolog and a relational DBMS. In 1986 Symposium on Logic Programming, pages 36–45. The Computer Society of the IEEE, IEEE Computer Society Press, September 1986.
• Barry W. Boehm. Software process management: Lessons learned from history. In Proceedings of the 9th International Conference on Software Engineering, pages 296–298. IEEE Computer Society Press, March 1987.
• Hans-Juergen Boehm. Garbage collection in an uncooperative environment. Software: Practice & Experience, 18(9):807–820, September 1988.
• Herold Boley. RELFUN — a relational / functional integration with valued clauses. ACM SIGPLAN Notices, 21(12):87–98, December 1986.
• Pierre Bonzon. Processing functional definitions as declarative knowledge: A reduced bytecode implementation of a functional logic machine. In H. Boley and M. M. Richter, editors, Processing Declarative Knowledge: International Workshop PDK '91 Proceedings, pages 271–278. Springer-Verlag, July 1991. Lecture Notes in Computer Science 567.
• D. L. Bowen, L. Byrd, L. M. Pereira, F. C. N. Pereira, and D. H. D. Warren. PROLOG on the DECSystem-10 User's Manual. Department of Artificial Intelligence, University of Edinburgh, Edinburgh, United Kingdom, 1981. Technical Report.
• R. S. Boyer and J. S. Moore. The sharing of structure in theorem-proving programs. In Bernard Meltzer and Donald Michie, editors, Machine Intelligence 7, chapter 6, pages 101–116. Edinburgh University Press, 1972.
• Krysia Broda, Susan Eisenbach, Hessam Khoshnevisan, and Steve Vickers. Reasoned Programming. XXX, 1993.
• Rod M. Burstall and John Darlington. A transformation system for developing recursive programs. Journal of the ACM, 24:44–67, 1977.
• Rod Burstall. Programming with modules as typed functional programming. In Fifth Generation Computer Systems 1984, pages 103–112. Institute for New Generation Computer Technology (ICOT), North-Holland, November 1984.
• F. Warren Burton and Hsi-Kai Yang. Manipulating multilinked data structures in a pure functional language. Software: Practice & Experience, 20(11):1167–1185, November 1990.
• Communications of the ACM. special issue: Concurrent object-oriented programming. 36(9), September 1993. Optional.
• Luca Cardelli and Rob Pike. Squeak: a language for communicating with mice. Computer Graphics, 19(3):199–204, July 1985. SIGGRAPH '85 Conference Proceedings, July 22–26, San Francisco, California.
• Luca Cardelli and Peter Wegner. On understanding types, data abstraction, and polymorphism. ACM Computing Surveys, 17(4):471–522, December 1985.
• Luca Cardelli, James Donahue, Lucille Glassman, Mick Jordan, Bill Kalsow, and Greg Nelson. Modula-3 language definition. ACM SIGPLAN Notices, 27(8):15–42, August 1992.
• Luca Cardelli. Structural subtyping and the notion of power type. In Conference Record of the 15th Annual ACM Symposium on Principles of Programming Languages, pages 70–79, Januray 1988.
• Mats Carlsson. On implementing Prolog in functional programming. In 1984 International Symposium on Logic Programming, pages 154–159. The Computer Society of the IEEE, IEEE Computer Society Press, February 1984.
• Rommert J. Casimir. Real programmers don't use spreadsheets. ACM SIGPLAN Notices, 27(6):10–16, June 1992.
• T. E. Cheatham Jr. Programming language design issues. In John H. Williams and David A. Fisher, editors, Design and Implementation of Programming Languages, Proceedings of a DoD Sponsored Wokshop, pages 397–435. Springer-Verlag, October 1976. Lecture Notes in Computer Science 54.
• Daniel Chester. HCPRVR: An interpreter for logic programs. In Proceedings of the First Annual National Conference on Artificial Intelligence, pages 93–95. American Association for Artificial Intelligence, August 1980.
• Paolo Ciancarini and Giorgio Levi. What is logic programming good for in software engineering. Technical Report UBLCS-93-9, Laboratory of Computer Science, University of Bologna, Piazza di Porta S. Donata 5, 40127 Bologna, Italy, April 1993.
• Keith L. Clark, William M. McKeeman, and Sharon Sickel. Logic program specification of numerical integration. In Keith L. Clark and Sten-Åke Tärnlund, editors, Logic Programming, pages 123–139. Academic Press, 1982.
• Keith Clarke. One-pass code generation using continuations. Software: Practice & Experience, 19(12):1175–1192, December 1989.
• E. F. Codd. A relational model of data for large shared data banks. Communications of the ACM, 13(6):377–387, June 1970.
• Jacques Cohen. Describing Prolog by its interpretation and compilation. Communications of the ACM, 28(12):1311–1324, December 1985.
• Shimon Cohen. The APPLOG language. In Doug DeGroot and Gary Lindstrom, editors, Logic Programming, Functions, Relations and Equations, pages 239–276. Prentice Hall, Englewood Cliffs, NJ, USA, 1986.
• William R. Cook. Interfaces and specifications for the Smalltalk-80 collection classes. ACM SIGPLAN Notices, 27(10):1–15, October 1992. Seventh Annual Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA '92 Conference Proceedings, October 18–22, Vancouver, British Columbia, Canada.
• James R. Cordy and Eric Promislow. Specification and automatic prototype implementation of polymorphic objects in Turing using the TXL dialect processor. In Proceedings IEEE 1990 International Conference on Computer Languages. IEEE Computing Society, March 1990.
• James R. Cordy, Charles D. Halpern, and Eric Promislow. TXL: A rapid prototyping system for programming language dialects. In Proceedings IEEE 1988 International Conference on Computer Languages. IEEE Computing Society, October 1988.
• M. K. Crowe. Dynamic compilation in the Unix environment. Software: Practice & Experience, 17(7):455–467, July 1987.
• J. Darlington, A.J. Field, and H. Pull. The unification of functional and logic languages. In Doug DeGroot and Gary Lindstrom, editors, Logic Programming, Functions, Relations and Equations, pages 37–70. Prentice Hall, Englewood Cliffs, NJ, USA, 1986.
• John Darlington, Yi-ke Guo, and Helen Pull. The design of constraint functional logic programming. Technical report, Department of Computing, Imperial College, London, UK, February 1991.
• John Darlington, Yi-ke Guo, and Helen Pull. Introducing constraint functional logic programming. Technical report, Department of Computing, Imperial College, London, UK, February 1991.
• John Darlington, Yike Guo, and Helen Pull. A new perspective on integrating functional and logic languages. In The 4th International Conference on the Fifth Generation Computer Systems, pages 682–693. ICOT, June 1992.
• Jack W. Davidson and Christopher W. Fraser. Register allocation and exhaustive peephole optimization. Software: Practice & Experience, 14(9):857–865, September 1984.
• Jack W. Davidson and Anne M. Holler. A study of a C function inliner. Software: Practice & Experience, 18(8):775–790, August 1988.
• Jack W. Davidson and David B. Whalley. Quick compilers using peephole optimization. Software: Practice & Experience, 19(1):79–97, January 1989.
• Philip J. Davis and Philip Rabinowitz. Numerical Integration. Blaisdell Publishing Company, 1967.
• Saumya K. Debray. The SB-Prolog System, Version 3.0: A User Manual. University of Arizona, Department of Computer Science, Tucson, AZ 85721, USA, September 1988.
• Claudio Delrieux, Pablo Azero, and Fernando Tohmé. Toward integrating imperative and logic programming paradigms: A WYSIWIG approach to Prolog programming. ACM SIGPLAN Notices, 26(3):35–44, March 1991.
• M. C. Dewar and M. G. Richardson. Reconciling symbolic and numeric computation in a practical setting. In A. Miola, editor, Design and Implementation of Symbolic Computation Systems: International Symposium DISCO'90 Proceedings, pages 195–204. Springer-Verlag, April 1990. Lecture Notes in Computer Science 429.
• Robert B. K. Dewar. The SETL programming language, 1979.
• Stanford Diehl, Dennis Allen, Alan Joch, Stan Wszola, Steve Apiki, and Rick Grehan. Making a case for CASE. Byte, pages 154–171, December 1989.
• Roland Dietrich and Frank Hagl. A polymorphic type system with subtypes for Prolog. In H. Ganziger, editor, 2nd European Symposium on Programming, pages 79–93. Springer-Verlag, March 1988. Lecture Notes in Computer Science 300.
• Wilhelm Dilthey. Die Entstehung der Hermeneutik. In Wilhelm Dilthey: Gesammelte Schriften, V. Band, Die geistige Welt: Einleitung in die Philosophie des Lebens, pages 317–339. B. G. Teubner Verlagsgesellschaft, Stuttgart, Germany, 1957. Written in German, 1900.
• Wilhelm Dilthey. Plan der Fortsetzung zum Aufbau der geschichtlichen Welt in den Geistwissenschaften: Entwürfe zur Kritik der historischen Vernunft. In Wilhelm Dilthey: Gesammelte Schriften, VII. Band, Der Aufbau der geschichtlichen Welt in den Geistwissenschaften, pages 191–339. B. G. Teubner Verlagsgesellschaft, Stuttgart, Germany, 1958. Written in German, 1907–1910.
• Wilhelm Dilthey. Das hermeneutische System Schleiermachers in der Ausanandersetzung mit der älteren Protestantischen Hermeneutik. In Wilhelm Dilthey: Gesammelte Schriften, XIV. Band, Leben Schleiermachers, Zweiter Band: Schleiermachers System als Philosophie und Theologie, pages 691–785. Vandenhoek & Ruprech, Göttingen, Germany, 1966. Written in German, 1860 (Akademie Archiv Fasz. B 44 1–141).
• H. Dobler and K. Pirklbauer. Coco-2: A new compiler compiler. ACM SIGPLAN Notices, 25(5):82–90, May 1990.
• M. Ducassé and A.-M. Emde. A review of automated debugging systems: Knowledge, strategies, and techniques. In Proceedings of the 10th International Conference on Software Engineering, pages 162–171. IEEE Computer Society Press, April 1988.
• Mireille Ducassé. Un analyseur de trace extensible pour l' automatisation du débogage. PhD thesis, l' Université de Rennes I, June 1992. In English.
• Douglas Lee Eckberg and Lester Hill, Jr. The paradigm concept and sociology: A critical review. In Gary Gutting, editor, Paradigms and Revolutions, pages 117–136. University of Notre Dame Press, Notre Dame, London, 1980.
• Susan Eisenbach and Chris Sadler. Program design with Modula-2. International computer science series. Addison-Wesley, 1989.
• S. Eisenbach, editor. Functional Programming: Languages, Tools, and Architectures. Ellis Horwood, 1987.
• Helmut Emmelmann, Friedrich-Wilhelm Schröer, and Rudolf Landwehr. BEG — a generator for efficient back ends. ACM SIGPLAN Notices, 24(7):227–237, July 1989.
• Antony A. Faustini and Edgar B. Lewis. Towards a real-time dataflow language. IEEE Software, 3(1):29–35, January 1986.
• Stuart Feldman. Software configuration. Lecture held at the Depatment of Computing, Imperial College, Longon, UK, December 1991. Private notes.
• Matthias Felleisen. On the expressive power of programming languages. In N. Jones, editor, 3rd European Symposium on Programming, pages 134–151. Springer-Verlag, May 1990. Lecture Notes in Computer Science 432.
• A. C. Fleck. A case study comparison of four declarative programming languages. Technical Report 87–05, University of Iowa, Computer Science Department, Iowa City, Iowa 52242, USA, December 1987.
• A. C. Fleck. A case study comparison of four declarative programming languages. Software: Practice & Experience, 20(1):49–65, January 1990.
• Ray Ford and Hong Chew. AWING: A general purpose command interface generator (and an exercise in software reuse). Ada Letters, XI(3):73–82, Spring 1991.
• Ian Foster and Stephen Taylor. Strand: New Concepts in Parallel Programming. Prentice-Hall, 1990.
• Ian Foster. Parlog as a Systems Programming Language. PhD thesis, Imperial College, University of London, London, United Kingdom, March 1988.
• Pascal Fradet and Daniel Le Métayer. Compilation of functional languages by program transformation. ACM Transactions on Programming Languages and Systems, 13(1):21–51, January 1991.
• Torkel Franzén, Seif Haridi, and Sverker Janson. An overview of the Andorra Kernel Language. In Proceedings of the 2nd Workshop on Extensions to Logic Programming. Springer-Verlag, 1992.
• Christopher W. Fraser and David R. Hanson. A code generation interface for ANSI C. Software: Practice & Experience, 21(9):963–988, September 1991.
• Christopher W. Fraser. A language for writing code generators. ACM SIGPLAN Notices, 24(7):238–245, July 1989.
• Bjorn N. Freeman-Benson and Alan Borning. Integrating constraints with an object-oriented language. In O. Lehrmann Madsen, editor, ECCOP '92 Europen Conference on Object-Oriented Programming, pages 268–286. Springer-Verlag, June/July 1992. Lecture Notes in Computer Science 615.
• Linda Wieser Friedman. Comparative Programming Languages: Generalizing the Programming Function. Prentice Hall, 1991.
• Thom Fruehwirth. Nqueens. Usenet newsgroup comp.lang.prolog, article 1991Mar8.153052.1698ecrc.de, March 1991.
• Koichi Fukunaga and Shin ichi Hirose. An experience with a Prolog-based object-oriented language. ACM SIGPLAN Notices, 21(11):224–231, November 1986. Special Issue: Object-Oriented Programming Systems, Languages and Applications, OOPSLA '86 Conference Proceedings, September 29 – October 2, Portland, Oregon, USA.
• David A. Fuller and Samson Abramsky. Mixed computation of Prolog programs. Technical report, Department of Computing, Imperial College, London, UK, 1987.
• Richard Furuta, P. David Stotts, and Jefferson Ogata. Ytracc: a parse browser for Yacc grammars. Software: Practice & Experience, 21(2):119–132, February 1991.
• Hans-Georg Gadamer. Wahrheit und Methode: Grundzüge einer philosophischen Hermeneutik. J. C. B. Mohr (Paul Siebeck), Tübingen, 1960. In German.
• Hervé Gallaire. Logic programming: Further developments. In 1985 Symposium on Logic Programming, pages 88–96. IEEE Computer Society, IEEE Computer Society Press, July 1985.
• David Gelernter and Nicholas Carriero. Coordination languages and their significance. Communications of the ACM, 35(2):97–107, February 1992.
• Peter A. Gemtos. Methodology of Social Sciences. Papazisis, Athens, Greece, third edition, 1987. In Greek.
• Carlo Ghezzi and Mehdi Jazayeri. Programming Language and Evolution. Jon Wiley and Sons, 1982.
• Francis Giannesini and Jacques Cohen. Parser generation and grammar manipulation using Prolog's infinite trees. Journal of Logic Programming, 1(3):253–265, October 1984.
• Simon Gibbs, Dennis Tsichritzis, Eduardo Casais, Oscar Nierstrasz, and Xavier Pintado. Class management for software communities. Communications of the ACM, 33(9):90–103, September 1990.
• David K. Gifford and John M. Lucassen. Integrating functional and imperative programming. In Proceedings of the 1986 ACM Conference on LISP and Functional Programming, pages 28–38. Association for Computing Machinery, August 1986.
• David Gifford and Alfred Spector. The TWA reservation system. Communications of the ACM, 27(7):650–665, July 1984.
• Hugh Glaser, Pieter Hartel, and John Wild. A pragmatic approach to the analysis and compilation of lazy functional languages. Technical report CSTR 90-10, Department of Electronics and Computer Science, University of Southampton, 1990. (To appear in Proc. of the Workshop on Parallel and Distributed Processing, Sofia, 1990. North-Holland 1991).
• Bob Glickstein. YYHIDE: A post-processor for Yacc and Lex files. Part of the Andrew System, 1991.
• Joseph A. Goguen and José Meseguer. Eqlog: Equality, types, and generic modules for logic programming. In Doug DeGroot and Gary Lindstrom, editors, Logic Programming, Functions, Relations and Equations, pages 295–363. Prentice Hall, Englewood Cliffs, NJ, USA, 1986.
• Joseph A. Goguen and José Meseguer. Extension and foundations of object-oriented programming. ACM SIGPLAN Notices, 21(10):153–162, October 1986. Proceedings of the Object-Oriented Programming Workshop held at Yortown Heights, June 9–13, 1986.
• Joseph A. Goguen. Higher-order functions considered unnecessary for higher-order programming. In David A. Turner, editor, Research Topics in Functional Programming, chapter 12, pages 309–351. Addison-Wesley, 1990. Written in 1987.
• Benjamin Goldberg. Tag-free garbage collection for stronglyy typed programming languages. ACM SIGPLAN Notices, 26(6):165–176, June 1991.
• Robert W. Gray, Vincent P. Heuring, Steven P. Levi, Anthony M. Sloane, and William M. Waite. Eli: A complete, flexible compiler construction system. Communications of the ACM, 35(2):121–131, February 1992.
• John C. Greene. The Kuhnian paradigm and the Darwinian revolution in natural history. In Gary Gutting, editor, Paradigms and Revolutions, pages 297–320. University of Notre Dame Press, Notre Dame, London, 1980.
• R. E. Griswold, J. F. Poage, and I. P. Polonsky. The Snobol 4 Programming Language. Prentice Hall, 2nd edition edition, 1971.
• Ralph E. Griswold. Expression evaluation in the Icon programming language. In Conference Record of the 1984 ACM Symposium on LISP and Functional Programming, pages 177–183. ACM, SIGPLAN, SIGACT, SIGART, August 1984.
• J. Grosch and H. Emmelmann. A tool box for compiler construction. In D. Hammer, editor, Compiler Compilers : Third International Workshop, CC '90, pages 106–116. Springer-Verlag, October 1991. Lecture Notes in Computer Science 477.
• J. Grosch. Efficient generation of lexical analysers. Software: Practice & Experience, 19(11):1089–1103, November 1989.
• J. Grosh. Ast — a generator for abstract syntax trees. Compiler Generation Report 15, GMD Forshungsstelle an der Universität Karlsruhe, Germany, August 1989. (Revised Version).
• MACSYMA group. MACSYMA reference manual. Technical report, MIT, Massachusets, USA, 1977.
• CIP Language Group. The Munich Project CIP. Springer Verlag, 1985. Lecture Notes in Computer Science 183.
• CIP System Group. The Munich Project CIP. Springer Verlag, 1987. Lecture Notes in Computer Science 292.
• Hamish I. E. Gunn and David M. Harland. Polymorphic programming II. an orthogonal tagged high level architecture abstract machine. Software: Practice & Experience, 14(11):1021–1046, November 1984.
• Hamish I. E. Gunn and Ronald Morrison. On the implementation of constants. Information Processing Letters, 9(1):1–4, July 1979.
• Yi-ke Guo and Helen Pull. Falcon: Functional and logic language with constraints-language definition. Technical report, Department of Computing, Imperial College, London, UK, February 1991.
• Yi-ke Guo, H. Lock, John Darlington, and R. Dietrich. A classification for the integration of functional and logic languages. Technical report, Department of Computing, Imperial College and GMD Forschungstelle and der Universität Karlsruhe, March 1990. Deliverable for the ESPRIT Basic Research Action No.3147.
• Jürgen Habermas. Erkenntnis und Interesse. Suhrkamp, Frankfurt am Main, Germany, 1968, 1973. In German.
• Anastassios Hadjicocolis. Generating G-machine code from Haskell. Project report, Imperial College, Department of Computing, London, UK, June 1990.
• Brent Hailpern. Multiparadigm languages. IEEE Software, 3(1):6–9, January 1986.
• Brent Hailpern. Multiparadigm research: A survey of nine projects. IEEE Software, 3(1):70–77, January 1986.
• Matthew Halfant and Gerald Jay Sussman. Abstraction in numerical methods. In Proceedings of the 1988 ACM Conference on LISP and Functional Programming, pages 1–7. Association for Computing Machinery, July 1988.
• Richard G. Hamlet. High-level binding with low-level linkers. Communications of the ACM, 19(11):642–644, November 1976.
• Å. Hansson, S. Haridi, and S.-Å. Tärnlund. Properties of a logic programming language. In Keith L. Clark and Sten-Åke Tärnlund, editors, Logic Programming, pages 266–280. Academic Press, 1982.
• Michael Hanus. A functional and logic language with polymorphic types. In A. Miola, editor, Design and Implementation of Symbolic Computation Systems: International Symposium DISCO'90 Proceedings, pages 215–224. Springer-Verlag, April 1990. Lecture Notes in Computer Science 429.
• Michael Hanus. The ALF system: An efficient implementation of a functional logic language. In H. Boley and M. M. Richter, editors, Processing Declarative Knowledge: International Workshop PDK '91 Proceedings, pages 414–416. Springer-Verlag, July 1991. Lecture Notes in Computer Science 567.
• David M. Harland and Hamish I. E. Gunn. Polymorphic programming I. Another language designed on semantic principles. Software: Practice & Experience, 14(10):973–997, October 1984.
• Robert Harper. Introduction to standard ML. LFCS Report Series ECS–LFCS–86–14, University of Edinburgh, Department of Computer Science, Edinburgh EH9 3JZ, UK, November 1986.
• William Havens, Susan Sidebottom, Greg Sidebottom, John Jones, and Russel Ovans. Echidna: A constraint logic programming shell. In Proceedings of the 1992 Rim International Conference on Artificial Intelligence, pages 165–171, September 1992.
• Anthony C. Hearn. Reduce User's Manual. The RAND Corporation, Santa Monica, CA, USA, version 3.3 edition, July 1987.
• Sharam Hekmatpour and Darrel Ince. Software Prototyping, Formal Methods and VDM. Addison-Wesley, 1988.
• P. Henderson, G. A. Jones, and S. B. Jones. The LispKit manual. Technical monograph PRG-32(1), Oxford University Computer Laboratory, Programming Research Group, 1983.
• Brian Henderson-Sellers and Julian M. Edwards. The object-oriented systems life cycle. Communications of the ACM, 33(9):142–159, September 1990.
• W. Wilson Ho and Ronald A. Olsson. An approach to genuine dynamic linking. Software: Practice & Experience, 21(4):375–390, April 1991.
• C. A. R. Hoare. Recursive data structures. Technical Report AIM-223 STAN-CS-73-400, Stanford University, Computer Science Department, October 1973.
• C. A. R. Hoare. Monitors: An operating system structuring concept. Communications of the ACM, 17(10):549–557, October 1974.
• C. A. R. Hoare. Hints on programming language design. In Ellis Horowitz, editor, Programming Languages: A Grand Tour, pages 31–40. Computer Science Press, 1983. Reprinted from Sigact/Sigplan Symposium on Principles of Programming Languages, October 1973.
• Ellis Horowitz, editor. Programming Languages: A Grand Tour. Computer Science Press, 1983.
• W. A. Hosier. Pitfalls and safeguards in real-time digital systems with emphasis on programming. In Proceedings of the 9th International Conference on Software Engineering, pages 311–327. IEEE Computer Society Press, March 1987. Reprinted from IRE Transactions on Engineering Management, June 1961, pages 99–115.
• Paul Hudak and Joseph H. Fasel. A gentle introduction to Haskell. ACM SIGPLAN Notices, 27(5), May 1992. Haskell Special Issue.
• Paul Hudak, Simon Peyton Jones, Philip Wadler, Brian Boutel, Jon Fairbairn, Joseph Fasel, María M. Guzmán, Kevin Hammond, John Hughes, Thomas Johnson, Dick Kieburtz, Rishiyur Nikhil, Will Partain, and John Peterson. Report on the programming language Haskell, a non-strict, purely functional language, version 1.2. ACM SIGPLAN Notices, 27(5), May 1992. Haskell Special Issue.
• John Hughes. Why functional programming matters. In David A. Turner, editor, Research Topics in Functional Programming, chapter 2, pages 17–42. Addison-Wesley, 1990. Also appeared in the April 1989 issue of The Computer Journal.
• John G. Hughes. Object-Oriented Databases. Prentice Hall, 1991.
• Guilio Iannello. Programming abstract data types, iterator and generic modules in c. Software: Practice & Experience, 20(3):243–260, March 1990.
• Jean Ichbiah. Ada: Past, present, future an interview with Jean Ichbiah, the principal designer of ada. Communications of the ACM, 27(10):990–997, October 1984.
• Yutaka Ishikawa and Mario Tokoro. A concurrent object-oriented knowledge representation language orient84/k: Its features and implementation. ACM SIGPLAN Notices, 21(11):232–241, November 1986. Special Issue: Object-Oriented Programming Systems, Languages and Applications, OOPSLA '86 Conference Proceedings, September 29 – October 2, Portland, Oregon, USA.
• International Organization for Standardization, Geneva, Switzerland. Information Processing Systems — Open Systems Interconnection — Specification of Basic Encoding Rules for Abstract Syntax Notation One (ASN.1), May 1986. International Standard 8825.
• Ivar Jacobson, Magnus Christerson, Patrik Jonsson, and Gunnar Övergaard. Object-Oriented Software Engineering. Addison-Wesley, 1992.
• Joxan Jaffar, Jean-Louis Lassez, and Michael J. Maher. Logic programming language scheme. In Doug DeGroot and Gary Lindstrom, editors, Logic Programming, Functions, Relations and Equations, pages 441–467. Prentice Hall, Englewood Cliffs, NJ, USA, 1986.
• Sverker Janson and Seif Haridi. Programming paradigms of the Andorra Kernel Language. In Logic Programming: Proceedings of the 1991 International Logic Programming Symposium. MIT Press, October 1991. (Revised version of SICS Research Report R91:08).
• Bharat Jayaraman and Frank S. K. Silberman. Equations, sets, and reduction semantics for functional and logic programming. In Proceedings of the 1986 ACM Conference on LISP and Functional Programming, pages 320–331. Association for Computing Machinery, August 1986.
• Bharat Jayaraman, Frank S. K. Silberman, and Gopal Gupta. Equational programming: A unifying approach to functional and logic programming. In IEEE Computer Society 1986 International Conference on Computer Languages, pages 47–57. IEEE Computer Society, IEEE Computer Society Press, October 1986.
• Michael A. Jenkins, Janice I. Glasgow, and Carl D. McCrosky. Programming styles in Nial. IEEE Software, 3(1):46–55, January 1986.
• Stephen C. Johnson. Yacc meets C++. Computing Systems, 1(2):159–167, Spring 1988.
• Simon L. Peyton Jones. Yacc in Sasl — an exercise in functional programming. Software: Practice & Experience, 15(8):807–820, August 1985.
• George Charles Nelan Jr. Firstification. PhD thesis, Arizona State University, Arizona, USA, December 1991.
• Kenneth Kahn, Eric Dean Tribble, Mark S. Miller, and Daniel G. Bobrow. Objects in concurrent logic programming languages. ACM SIGPLAN Notices, 21(11):242–257, November 1986. Special Issue: Object-Oriented Programming Systems, Languages and Applications, OOPSLA '86 Conference Proceedings, September 29 – October 2, Portland, Oregon, USA.
• Kenneth M. Kahn. Intermission — Actors in Prolog. In Keith L. Clark and Sten-Åke Tärnlund, editors, Logic Programming, pages 213–228. Academic Press, 1982.
• Kenneth M. Kahn. Uniform: A language based upon unification which unifies (much of) Lisp, Prolog, and Act 1. In Doug DeGroot and Gary Lindstrom, editors, Logic Programming, Functions, Relations and Equations, pages 411–438. Prentice Hall, Englewood Cliffs, NJ, USA, 1986.
• Gail E. Kaiser and David Garlan. MELDing data flow and object-oriented programming. ACM SIGPLAN Notices, 22(12):254–267, December 1987. Special Issue: Object-Oriented Programming Systems, Languages and Applications, OOPSLA '87 Conference Proceedings, October 4–8, Orlando, Florida, USA.
• Samuel Kamin. Inheritance in Smalltalk-80: A denotational definition. In Conference Record of the 15th Annual ACM Symposium on Principles of Programming Languages, pages 80–87, Januray 1988.
• James Kempf, Warren Harris, Roy D'Souza, and Alan Snyder. Experience with CommonLoops. ACM SIGPLAN Notices, 22(12):214–226, December 1987. Special Issue: Object-Oriented Programming Systems, Languages and Applications, OOPSLA '87 Conference Proceedings, October 4–8, Orlando, Florida, USA.
• Willett Kempton and Brian A. Wichmann. Run-time detection of undefined variables considered essential. Software: Practice & Experience, 20(4):391–402, April 1990.
• Gregor Kiczales, Jim des Rivières, and Daniel G. Bobrow. The Art of the Metaobject Protocol. MIT Press, Cambridge, MA, 1992.
• Roger King. My cat is object-oriented. In Won Kim and Frederick H. Lochovsky, editors, Object-Oriented Concepts, Databases, and Applications, chapter 2, pages 23–30. Addison-Wesley, 1989. ACM Press Frontier Series.
• William A. Kornfeld. Equality for Prolog. In Doug DeGroot and Gary Lindstrom, editors, Logic Programming, Functions, Relations and Equations, pages 279–293. Prentice Hall, Englewood Cliffs, NJ, USA, 1986.
• Tim Korson and John D. McGregor. Understanding object-oriented: A unifying paradigm. Communications of the ACM, 33(9):40–60, September 1990.
• Henry F. Korth. Extending the scope of relational languages. IEEE Software, 3(1):19–28, January 1986.
• Timothy Koschmann and Martha Walton Evens. Bridging the gap between object-oriented and logic programming. IEEE Software, 5(4):36–42, July 1988.
• Kai Koskimies, Otto Nurmi, Jukka Paakki, and Seppo Sippu. The design of a language processor generator. Software: Practice & Experience, 18(2):107–135, February 1988.
• Robert Kowalski. Logic as a computer language. In Keith L. Clark and Sten-Åke Tärnlund, editors, Logic Programming, pages 3–16. Academic Press, 1982.
• Charles W. Krueger. Software reuse. ACM Computing Surveys, 24(2):131–183, June 1992.
• Thomas S. Kuhn. The Structure of Scientific Revolutions. University of Chicago Press, Chicago and London, 2nd, enlarged edition, 1970. International Encyclopedia of Unified Science. 2:(2).
• Imre Lakatos. The Methodology of Scientific Research Programmes: Philosophical Papers, volume 1. Cambridge University Press, 1978. Edited by John Worrall and Gregory Currie.
• Wilf R. LaLonde, Jim McGugan, and Dave Thomas. The real advantages of pure object-oriented systems, or why object-oriented extensions to C are doomed to fail. In George J. Knafl, editor, Proceedings of the Thirteenth Annual International Computer Software & Applications Conference, COMPSAC '89, pages 344–350. IEEE Computer Society, IEEE Computer Society Press, September 1989.
• P. J. Landin. The next 700 programming languages. Communications of the ACM, 9(3):157–166, May 1966.
• Henry Ledgard and Michael Marcotty. The Programming Language Landscape. Science Research Associates, Chicago, USA, 1981.
• M. M. Lehman. Process models, process programs, programming support: Response to an ICSE9 keynote by Lee Osterweil. In Proceedings of the 9th International Conference on Software Engineering, pages 14–16. IEEE Computer Society Press, March 1987.
• Christopher Lester. Some Tools for Automating the Production of Compilers and other Translators. PhD thesis, Imperial College, University of London, London, United Kingdom, 1982.
• Gary Marc Levin. An introduction to ISETL. Technical report, Clarkson University, Dept. of Math and Computer Science, Potsdam NY, USA, 1989. Available via ftp from grape.ecs.clarkson.edu.
• Kai Li and Paul Hudak. A new list compaction method. Software: Practice & Experience, 16(2):145–163, February 1986.
• Gary Lindstrom. Functional programming and the logical variable. In Conference Record of the 12th Annual ACM Symposium on Principles of Programming Languages, pages 266–280, Januray 1985.
• Ken-Chih Liu. A string pattern matching extension to Pascal and some comparisons with SNOBOL4. Software: Practice & Experience, 16(6):541–548, June 1986.
• LOST. Lost. IEEE Transactions on Software Engineering, 17(3):283–295, 1991.
• P. Van Hentenryck M. Dincbas, H. Simonis. Solving the car-sequencing problem in chip. Technical Report LP TR-LP-32, ECRC, Arabellastr. 17, 8000 Munich 81, West Germany, February 1988.
• Jeff Magee, Jeff Kramer, Morris Sloman, and Naranker Dulay. An overview of the REX software architecture. Technical report, Department of Computing, Imperial College, London, UK, June 1990. Presented at the second IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems, Cairo, Oct 1990.
• Yonathan Malachi, Zohar Manna, and Richard Waldinger. TABLOG: The deductive-tableu programming language. In Conference Record of the 1984 ACM Symposium on LISP and Functional Programming, pages 323–330. ACM, SIGPLAN, SIGACT, SIGART, August 1984.
• Yonathan Malachi, Zhar Manna, and Richard Waldinger. TABLOG: A new approach to logic programming. In Doug DeGroot and Gary Lindstrom, editors, Logic Programming, Functions, Relations and Equations, pages 365–394. Prentice Hall, Englewood Cliffs, NJ, USA, 1986.
• Andrei V. Mantsivoda. Flang: a functional logic language. In H. Boley and M. M. Richter, editors, Processing Declarative Knowledge: International Workshop PDK '91 Proceedings, pages 257–270. Springer-Verlag, July 1991. Lecture Notes in Computer Science 567.
• Francis G. McCabe. Logic and Objects. Prentice Hall, 1992.
• John McCarthy. Recursive functions of symbolic expressions and their computation by machine. Communications of the ACM, 3(12):184–195, December 1960. Part I.
• B. J. McKenzie. Fast peephole optimization techniques. Software: Practice & Experience, 19(12):1151–1162, December 1989.
• Lee McLoughlin. A case study on the gnu C compiler. Lecture Notes, Department of Computing, Imperial College, 1990. based on slides by Michael Tielman and Richard Stallman.
• Brian L. Meek. Programming languages: Towards greater commonality. ACM SIGPLAN Notices, 29(4):49–57, April 1994.
• Rand Methfessel. Implementing an access and object oriented paradigm in a language that supports neither. ACM SIGPLAN Notices, 22(4):83–93, April 1987.
• Bertrand Meyer. Lessons from the design of the Eiffel libraries. Communications of the ACM, 33(9):68–88, September 1990.
• Betrand Meyer. Eiffel: The Language. Prentice Hall, 1992.
• Scott Meyers and Steven P. Reiss. Representing programs in multiparadigm software development environments. In George J. Knafl, editor, Proceedings of the Thirteenth Annual International Computer Software & Applications Conference, COMPSAC '89, pages 420–427. IEEE Computer Society, IEEE Computer Society Press, September 1989.
• Robin Milner, Robert W. Harper, David B. MacQueen, and Andrew W. Appel. Standard ML Reference Manual. Bell Laboratories, Murray Hill, New Jersey 07974, 1989. Part of the mid-1989 distribution of the Standard ML of New Jersey compiler.
• Robin Milner. The standard ML core language (revised). Technical report, University of Edinburgh, 1985.
• John C. Mitchel and Robert Harper. The essence of ML. In Conference Record of the 15th Annual ACM Symposium on Principles of Programming Languages, pages 28–46, Januray 1988.
• William J. Mitchell. The Logic of Architecture: Design, Computation, and Cognition. MIT Press, 1990.
• Ugo Montanari. Towards an integration between language and software development environment. In D. Ferrari, M. Bolognani, and J. Goguen, editors, Theory and Practice of Software Technology, pages 195–202. North-Holland, 1983.
• David A. Moon. Object-oriented programming with flavors. ACM SIGPLAN Notices, 21(11):1–8, November 1986. Special Issue: Object-Oriented Programming Systems, Languages and Applications, OOPSLA '86 Conference Proceedings, September 29 – October 2, Portland, Oregon, USA.
• Joel Moses. Algebraic simplification: A guide for the perplexed. Communications of the ACM, 14(8):527–537, August 1971.
• Joel Moses. Symbolic integration: The stormy decade. Communications of the ACM, 14(8):548–560, August 1971.
• Chris Moss. M.sc. compiling techniques. Lecture Notes, Department of Computing, Imperial College, 1988.
• Chris Moss. Commercial applications of large Prolog knowledge bases. In H. Boley and M. M. Richter, editors, Processing Declarative Knowledge: International Workshop PDK '91 Proceedings, pages 32–40. Springer-Verlag, July 1991. Lecture Notes in Computer Science 567.
• Vincent D. Moynihan and Peter J. L. Wallis. The design and implementation of a high-level language converter. Software: Practice & Experience, 21(4):391–400, April 1991.
• Hideyuki Nakashima. Knowledge representation in Prolog/KR. In 1984 International Symposium on Logic Programming, pages 126–130. The Computer Society of the IEEE, IEEE Computer Society Press, February 1984.
• Sanjai Narain. A technique for doing lazy evaluation in logic. In 1985 Symposium on Logic Programming, pages 261–269. IEEE Computer Society, IEEE Computer Society Press, July 1985.
• Michael L. Nelson. An object-oriented tower of Babel. OOPS Messenger, 2(3):3–11, July 1991.
• Peter G. Neumann. Psychological implications of computer software development and use: Zen and the art of computing. In D. Ferrari, M. Bolognani, and J. Goguen, editors, Theory and Practice of Software Technology, pages 221–232. North-Holland, 1983.
• Oscar Nierstrasz. A survey of object-oriented concepts. In Won Kim and Frederick H. Lochovsky, editors, Object-Oriented Concepts, Databases, and Applications, chapter 1, pages 3–22. Addison-Wesley, 1989. ACM Press Frontier Series.
• Bashar Nuseibeh and Anthony Finkelstein. Viewpoints: A vehicle for method and tool integration. In International Workshop on CASE (CASE '92), July 1992.
• Ernst-Rüdiger Olderog. Interfaces between languages for communicating systems. In W. Kuich, editor, Automata, Languages and Programming: 19th International Colloquium, pages 641–655. Springer Verlag, July 1992. Lecture Notes in Computer Science 623.
• Stephen M. Omohundro. The Sather language. Available by anonymous ftp from icsic.berkeley.edu:sather, June 1991.
• Leon Osterweil. Software processes are software too. In Proceedings of the 9th International Conference on Software Engineering, pages 2–13. IEEE Computer Society Press, March 1987.
• Frank G. Pagan. Converting interpreters into compilers. Software: Practice & Experience, 18(6):509–527, June 1988.
• Robert Paige. Programming with invariants. IEEE Software, 3(1):56–69, January 1986.
• Jens Palsberg and Michael I. Schwartzbach. Object-oriented type inference. In Conference on Object-Oriented Programming System, Languages, and Applications, pages 146–161, October 1991.
• T. J. Parr, H. G. Dietz, and W. E. Cohen. PCCTS reference manual. ACM SIGPLAN Notices, 27(2):88–165, February 1992.
• Jacek Passia and Klaus-Peter Löhr. Fips: A functional-imperative language for explorative programming. ACM SIGPLAN Notices, 28(5):39–48, May 1993.
• E. Pelegri-Llopart and S. L. Graham. Optimal code generation for expression trees: An application of BURS theory. In Conference Record of the 15th Annual ACM Symposium on Principles of Programming Languages, pages 294–308, Januray 1988.
• Dewayne E. Perry and Gail E. Kaiser. Models of software development environments. In Proceedings of the 10th International Conference on Software Engineering, pages 60–68. IEEE Computer Society Press, April 1988.
• Iain C. C. Phillips. AIT 2.6 Models of Concurrent Computation lecture notes, March 1992.
• Rob Pike. The implementation of newsqueak. Software: Practice & Experience, 20(7):649–659, July 1990.
• John R. Placer. G: A Language Based on Demand-Driven Stream Evaluations. PhD thesis, Oregon State University, Oregon, USA, June 1989.
• John Placer. The multiparadigm language G. Computer Languages, 16(3/4):235–258, 1991.
• John Placer. Multiparadigm research: A new direction in language design. ACM SIGPLAN Notices, 26(3):9–17, March 1991.
• John Placer. Integrating destructive assignment and lazy evaluation in the multiparadigm language G-2. ACM SIGPLAN Notices, 27(2):65–74, February 1992.
• Terrence W. Pratt. Programming Languages: Design and Implementation. Prentice Hall, second edition, 1984.
• Leon Presser and John R. White. Linkers and loaders. ACM Computing Surveys, 4(3):149–167, September 1972.
• Leon Presser and John R. White. Linkers and loaders. ACM Computing Surveys, 4(3):149–167, September 1972.
• Uday S. Reddy. Narrowing as the operational semantics of functional languages. In 1985 Symposium on Logic Programming, pages 138–151. IEEE Computer Society, IEEE Computer Society Press, July 1985.
• Uday S. Reddy. On the relationship between logic and functional languages. In Doug DeGroot and Gary Lindstrom, editors, Logic Programming, Functions, Relations and Equations, pages 3–36. Prentice Hall, Englewood Cliffs, NJ, USA, 1986.
• Martin Redeker. Einleitung des Herausgebers (Introduction by the Editor). In Wilhelm Dilthey: Gesammelte Schriften, XIV. Band, Leben Schleiermachers, Zweiter Band: Schleiermachers System als Philosophie und Theologie, pages XXV–LIX. Vandenhoek & Ruprech, Göttingen, Germany, 1966. In German.
• Steven P. Reiss. Working in the Garden environment for conceptual programming. IEEE Software, 4(11):16–27, November 1987.
• Tim Rentsch. Object oriented programming. ACM SIGPLAN Notices, 17(9):51–57, September 1982.
• Jonathan Ress, William Clinger (Editors), H. Abelson, N. I. Adams IV, D. H. Bartley, G. Brooks, R. K. Dybcig, D. P. Friedman, R. Halstead, C. Hanson, C. T. Haynes, E. Kohlbecker, D. Oxley, K. M. Pitman, G. J. Rozas, G. J. Sussman, and M. Wand. Revised³ report on the algorithmic language Scheme. ACM SIGPLAN Notices, 21(12):37–79, December 1986. Dedicated to the Memory of ALGOL 60.
• John C. Reynolds. GEDANKEN — a simple typeless language based on the principle of completeness and the reference concept. Communications of the ACM, 13(5):308–319, May 1970.
• Charles Rich and Richard C. Waters. The Programmer's Apprentice. ACM Press frontier series. Addison-Wesley, 1990.
• Frederic Richard and Henry F. Ledgard. A reminder for language designers. In John H. Williams and David A. Fisher, editors, Design and Implementation of Programming Languages, Proceedings of a DoD Sponsored Wokshop, pages 345–389. Springer-Verlag, October 1976. Lecture Notes in Computer Science 54.
• Frederic Richard and Henry F. Ledgard. A reminder for language designers. ACM SIGPLAN Notices, 12(12):73–82, December 1977.
• Johan Ringström, Peter Fritzson, and Johan Fagerström. Predula: A multi-paradigm parallel programming and debugging environment. Microprocessing and Microprogramming, 34(1–5):45–48, 1991. Special Volume: Short Notes Euromicro '91.
• Jussi Rintanen. Preliminary version of ML-twig user manual. Part of the New Jersey Standard ML distribution, June 1989.
• R. H. Risch. The problem of integration in finite terms. Transactions of the American Mathematical Society, 139, 1967.
• J. A. Robinson. A machine-oriented logic based on the resolution principle. Journal of the ACM, 12(1):23–41, January 1965.
• David W. Rolston. A multiparadigm knowledge-based system for diagnosis of large maniframe peripherals. In Proceedings: The Third Conference on Artificial Intelligence Applications, pages 150–155. IEEE Computer Society, IEEE Computer Society Press, February 1987.
• Peter Van Roy. A useful extension to Prolog's definite clause grammar notation. ACM SIGPLAN Notices, 24(11):132–134, November 1989.
• Winston W. Royce. Managing the development of large software systems. In Proceedings of the 9th International Conference on Software Engineering, pages 328–338. IEEE Computer Society Press, March 1987. Reprinted from the Proceedings, IEEE WESCON, August 1970, pages 1–9, published by TRW.
• James Rumbaugh. Relations as semantic constructs in an object-oriented language. ACM SIGPLAN Notices, 22(12):466–481, December 1987. Special Issue: Object-Oriented Programming Systems, Languages and Applications, OOPSLA '87 Conference Proceedings, October 4–8 Orlando, Florida, USA.
• J.E. Sammet. Software for nonnumerical mathematics. In John R. Rice, editor, Mathematical Software, chapter 6, pages 295–330. Academic Press, 1971. ACM Monograph Series.
• Masahiko Sato and Takafumi Sakurai. Qute: A functional language based on unification. In Doug DeGroot and Gary Lindstrom, editors, Logic Programming, Functions, Relations and Equations, pages 131–155. Prentice Hall, Englewood Cliffs, NJ, USA, 1986.
• Walt Scacchi. The USC system factory project. In Proceedings Software Symposium 1988, pages 9–41. Software Engineers Association, June 1988.
• Richard D. Schlichting and Vicraj T. Thomas. A multi-paradigm programming language for constructing fault-tolerant distributed systems. Technical Report TR 91-24a, Department of Computer Science, University of Arizona, Tucson, AZ 85721, USA, March 1992.
• J. T. Schwartz. Programming with Sets: An Introduction to SETL. Springer-Verlag, 1986.
• Ehud Shapiro and Akikazu Takeuchi. Object oriented programming in concurrent Prolog. New Generation Computing, 1:25–48, 1983.
• Ehud Shapiro. The family of concurrent logic programming languages. ACM Computing Surveys, 21(3):412–510, September 1989.
• Bruce D. Shriver. Software paradigms. IEEE Software, 3(1):2, January 1986.
• Morris Sloman and Jeff Kramer. Distributed Systems and Computer Networks. Prentice Hall, 1986.
• Sun Microsystems Inc., Mountain View, California. External Data Representation Protocol Specification, February 1986. Also Internet Activities Board RFC 1014.
• Gert Smolka. Making control and data flow in logic programs explicit. In Conference Record of the 1984 ACM Symposium on LISP and Functional Programming, pages 311–322. ACM, SIGPLAN, SIGACT, SIGART, August 1984.
• Gert Smolka. Fresh: A higher-order language with unification and multiple results. In Doug DeGroot and Gary Lindstrom, editors, Logic Programming, Functions, Relations and Equations, pages 469–524. Prentice Hall, Englewood Cliffs, NJ, USA, 1986.
• Alan Snyder. CcommonObjects: An overview. ACM SIGPLAN Notices, 21(10):19–28, October 1986. Proceedings of the Object-Oriented Programming Workshop held at Yortown Heights, June 9–13, 1986.
• Henry Spencer. AWK as a major systems programming language. In Proceedings of the Winter 1991 USENIX Conference, pages 137–143. Usenix Association, January 1991.
• Diomidis Spinellis. An implementation of the Haskell language. Project report, Imperial College, Department of Computing, London, UK, June 1990.
• Diomidis Spinellis. The software management process at ECRC. Project report, Imperial College, Department of Computing, London, UK, January 1990.
• Diomidis Spinellis. Application examples for Struct, July 1991.
• Diomidis Spinellis. Multiparadimg programming: An object-oriented tool-based approach. Talk given to the Distributed Software Engineering Section of Imperial College, November 22 1991.
• Diomidis Spinellis. A survey of logic-imperative programming languages, July 1991.
• Diomidis Spinellis. Blueprint: A multiparadigm programming system built using the sc mpss tool suite, March 1992.
• Diomidis Spinellis. Integrator: An application example for the blueprint multiparadigm programming system, March 1992.
• Diomidis Spinellis. sc mpss: A multiparadigm programming support system, March 1992.
• Diomidis Spinellis. Paradigms as object classes: A structuring mechanism for multiparadigm programming. Talk given to the Distributed Software Engineering Section of Imperial College, May 14 1992.
• Diomidis Spinellis. Paradigms as object classes: A structuring mechanism for multiparadigm tool combination, January 1992.
• Strand 88 User Manual, June 1989. Admiralty Release.
• Mark J. Stefik, Daniel G. Bobrow, and Kenneth M. Kahn. Integrating access-oriented programming into a multiparadigm environment. IEEE Software, 3(1):10–18, January 1986.
• Vic Stenning. On the role of an environment. In Proceedings of the 9th International Conference on Software Engineering, pages 30–34. IEEE Computer Society Press, March 1987.
• Leon Sterling and Randall D. Beer. Incremental flavor-mixing of meta-interpreters for expert system construction. In 1986 Symposium on Logic Programming, pages 20–27. The Computer Society of the IEEE, IEEE Computer Society Press, September 1986.
• Mike Stimpson. Numerical integration using adaptive quadrature. The C Users Journal, pages 31–36–167, May 1992.
• P. J. Stow. An Object-Oriented Language and Architecture. PhD thesis, Imperial College, University of London, London, United Kingdom, 1990.
• Herbert Stoyan. Early LISP history (1956 – 1959). In Conference Record of the 1984 ACM Symposium on LISP and Functional Programming, pages 299–310. ACM, SIGPLAN, SIGACT, SIGART, August 1984.
• Rob Strom. A comparison of the object-oriented and process paradigms. ACM SIGPLAN Notices, 21(10):88–97, October 1986. Proceedings of the Object-Oriented Programming Workshop held at Yortown Heights, June 9–13, 1986.
• Bjarne Stroustrup. Type-safe linkage for C++. Computing Systems, 1(5):371–403, Fall 1988.
• P. A. Subrahmanyam and Jia-Huai You. Funlog: A computational model integrating logic programming and functional programming. In Doug DeGroot and Gary Lindstrom, editors, Logic Programming, Functions, Relations and Equations, pages 157–198. Prentice Hall, Englewood Cliffs, NJ, USA, 1986.
• P. A. Subrahmanyan and J. H. You. Conceptual basis and evaluation strategies for integrating functional and logic programming. In 1984 International Symposium on Logic Programming, pages 144–153. The Computer Society of the IEEE, IEEE Computer Society Press, February 1984.
• Andrew S. Tanenbaum, M. Frans Kaashoek, Koen G. Langendoen, and Ceriel J. H. Jacobs. The design of very fast portable compilers. ACM SIGPLAN Notices, 24(11):125–131, November 1989.
• David R. Tarditi and Andrew W. Appel. ML-Yacc, version 2.0: Documentation for release version. Part of the New Jersey Standard ML distribution, April 1990.
• Steven W. K. Tjiang. Twig reference manual. Computer Science Technical Report 120, AT&T Bell Laboratories, Murray Hill, New Jersey, USA, January 1986.
• Andrew P. Tolmach and Adam T. Dingle. Debugging in standard ML of New Jersey. Part of the New Jersey Standard ML distribution, September 1990.
• P. C. Treleaven, editor. Parallel Computers: Object-Oriented Functional, Logic. John Wiley & Sons, 1990.
• Periklis Andreas Tsahageas. Type checking for Haskell. Project report, Imperial College, Department of Computing, London, UK, June 1990.
• D. C. Tsichritzis and O. M. Nierstrasz. Directions in object-oriented research. In Won Kim and Frederick H. Lochovsky, editors, Object-Oriented Concepts, Databases, and Applications, chapter 20, pages 523–536. Addison-Wesley, 1989. ACM Press Frontier Series.
• Hai-Chen Tu and Alan J. Perlis. FAC: A functional APL language. IEEE Software, 3(1):36–45, January 1986.
• D. A. Turner. A new implementation technique for applicative languages. Software: Practice & Experience, 9(1):31–49, January 1979.
• David A. Turner, editor. Research Topics in Functional Programming. Addison-Wesley, 1990.
• Tarmo Uustalu. Combining object-oriented and logic paradigms: A modal logic programming approach. In O. Lehrmann Madsen, editor, ECCOP '92 Europen Conference on Object-Oriented Programming, pages 98–113. Springer-Verlag, June/July 1992. Lecture Notes in Computer Science 615.
• Jean Vaucher, Guy Lapalme, and Jacques Malenfant. SCOOP: Structured concurrent object oriented prolog. In S. Gjessing and K. Nygaard, editors, ECCOP '88 Europen Conference on Object-Oriented Programming, pages 191–211. Springer-Verlag, August 1988. Lecture Notes in Computer Science 322.
• Jean G. Vaucher. Record manipulation in Prolog. Software: Practice & Experience, 19(8):801–807, August 1989.
• Philip Wadler. A simple language is also a functional language. Software: Practice & Experience, 15(2):219, February 1985.
• David Walker. π-calculus semantics of object-oriented programming languages. In T. Ito and A. R. Meyer, editors, Theoretical Aspects of Computer Software: International Conference TACS '91, pages 532–547. Springer-Verlag, September 1991. Lecture Notes in Computer Science 526.
• Yair Wand. A proposal for a formal model of objects. In Won Kim and Frederick H. Lochovsky, editors, Object-Oriented Concepts, Databases, and Applications, chapter 21, pages 537–539. Addison-Wesley, 1989. ACM Press Frontier Series.
• David H. D. Warren and Luis M. Pereira. Prolog — the language and its implementation compared with Lisp. ACM SIGPLAN Notices, 12(8):109–115, August 1977. Proceedings of the Symposium on Artificial Intelligence and Programming Languages.
• David A. Watt. Programming Language Concepts and Paradigms. Prentice Hall, 1990.
• Peter Wegner, William Scherlis, James Purtilo, David Leckham, and Ralph Johnson. Object-oriented megaprogramming (panel). ACM SIGPLAN Notices, 27(10):392–396, October 1992. Seventh Annual Conference on Object-Oriented Programming Systems, Languages and Applications, OOPSLA '92 Conference Proceedings, October 18–22, Vancouver, British Columbia, Canada.
• Peter Wegner. Programming languages — the first 25 years. In Ellis Horowitz, editor, Programming Languages: A Grand Tour, pages 4–22. Computer Science Press, 1983. Reprinted from IEEE Transactions on Computers, December 1976, 1207–1225.
• Peter Wegner. Dimensions of object-based language design. ACM SIGPLAN Notices, 22(12):168–182, December 1987. Special Issue: Object-Oriented Programming Systems, Languages and Applications, OOPSLA '87 Conference Proceedings, October 4–8, Orlando, Florida, USA.
• Peter Wegner. Guest editor's introduction to special issue of computing surveys. ACM Computing Surveys, 21(3):253–258, September 1989. Special Issue on Programming Language Paradigms.
• Peter Wegner. Concepts and paradigms of object-oriented programming. OOPS Messenger, 1(1):7–87, August 1990.
• Nelson Weiderman. Evaluating software development environments. In Proceedings of the 9th International Conference on Software Engineering, pages 292–293. IEEE Computer Society Press, March 1987.
• Brian W. Wichmann. Is Ada too big? a designer answers the critics. Communications of the ACM, 27(2):98–103, February 1984.
• Gio Wiederhold, Peter Wegner, and Stefano Ceri. Toward mega programming. Communications of the ACM, 35(11):89–99, November 1992.
• Gio Wiederhold, Peter Wegner, and Stefano Ceri. Toward megaprogramming. Communications of the ACM, 35(11):89–99, November 1992.
• J. H. Williams and E. L. Wimmers. Sacrificing simplicity for convenience: Where do you draw the line. In Conference Record of the 15th Annual ACM Symposium on Principles of Programming Languages, pages 169–179, Januray 1988.
• John H. Williams. Notes on the FP style of functional programming. In J. Darlington, P. Henderson, and D. A. Turner, editors, Functional Programming and its Applications, pages 73–101. Cambridge University Press, 1982.
• Lloyd G. Williams. Software process modeling: A behavioral approach. In Proceedings of the 10th International Conference on Software Engineering, pages 174–186. IEEE Computer Society Press, April 1988.
• Rebecca J. Wirfs-Brock and Ralph E. Johnson. Surveying current research in object-oriented design. Communications of the ACM, 33(9):104–124, September 1990.
• Niklaus Wirth. On the design of programming languages. In Jack L. Rosenfeld, editor, Information Processing 74: Proceedings of IFIP Congress 74, pages 386–393. International Federation for Information Processing, North-Holland Publishing Company, August 1974.
• Ludwig Wittgenstein. Philophische Untersuchungen. In Schriften, volume I. Suhrkamp Verlag, Frakfurt a.M., Germany, 1960. In German.
• Ngiam Chuing Wong. Tool Support for Executable Specification — A Technique Using Meta-IV and Prolog. PhD thesis, Imperial College, University of London, London, United Kingdom, September 1986.
• Shaun-inn Wu. Integrating logic and object-oriented programming. OOPS Messenger, 2(1):28–37, January 1991.
• Wuu Yang. Identifying syntactic differences between two programs. Software: Practice & Experience, 21(7):739–755, July 1991.
• Shinji Yokoi. A Prolog based object oriented language SPOOL and its compiler. In Eiiti Wada, editor, Logic Programming '86, Proceedings of the 5th Conferene, pages 116–125. Springer-Verlag, June 1986. Lecture Notes in Computer Science 264.
• Jia-Huai You and P. A. Subrahmanyam. Equational logic programming: An extension to equational programming. In Conference Record of the 13th Annual ACM Symposium on Principles of Programming Languages, pages 209–218. Association for Computing Machinery, Januray 1986.
• Carlo Zaniolo. Object-oriented programming in Prolog. In 1984 International Symposium on Logic Programming, pages 265–270. The Computer Society of the IEEE, IEEE Computer Society Press, February 1984.

 Last change: Friday, March 14, 2008 10:16 am
 Unless otherwise expressly stated, all original material on this page created by Diomidis Spinellis is licensed under a Creative Commons Attribution-Share Alike 3.0 Greece License.