Multiparadigm Programming (1995)

• David Abrahams and Aleksey Gurtovoy. C++ Template Metaprogramming: Concepts, Tools, and Techniques from Boost and Beyond. Pearson Eduction, 2005.
• P. Albert. Prolog and objects. In J. Rault, editor, Expert Systems and their Applicatios. 5th International Workshop, Vol 1, pages 331–350, May 1985.
• Elizabeth Allen. YAPS: A production system meets objects. In AAAI 83: Proceedings of the National Conference on Artificial Intelligence, pages 5–7, August 1983.
• James A. D. W. Anderson. POP-11 Comes of Age: The Advancement of an AI Programming Language. Ellis Howood Series in Artificial Intelligence. Ellis Horwood Ltd., Chichester, United Kingdom, 1989.
• Krzystof R. Apt, Jacob Brunekreef, Vincent Partington, and Andrea Schaerf. Alma-0: An imperative language that supports declarative programming. ACM Transactions on Programming Languages and Systems, 20(5):1014–1066, September 1998.
• Joe Armstrong, Robert Virding, Claes Wikström, and Mike Williams. Concurrent Programming in Erlang. Prentice Hall, Englewood Cliffs, 1996.
• D. Bailey. The university of Salford Lisp/Prolog system. Software: Practice & Experience, 15(6):595–609, 1985.
• Jason Baker and Wilson Hsieh. Runtime aspect weaving through metaprogramming. In AOSD '02: Proceedings of the 1st international conference on Aspect-oriented software development, pages 86–95, New York, NY, USA, 2002. ACM. (doi:10.1145/508386.508396)
• Jason Baker and Wilson C. Hsieh. Maya: Multiple-dispatch syntax extension in Java. In PLDI '02: Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation, pages 270–281, New York, NY, USA, 2002. ACM. (doi:10.1145/512529.512562)
• J. Barklund. Efficient intepretation of Prolog programs. In R. Wexelblat, editor, Intepreter and Intepretive Techniques. SIGPLAN '87 Symposium, pages 132–137, June 1987.
• John J. Barton and Lee R. Nackman. Scientific and Engineering C++: an Introduction with Advanced Techniques and Examples. Addison-Wesley, Reading, MA, 1994.
• C. Beierle. Types, modules and databases in the logic proramming language PROTOS-L. In Sorts and Types in Artifical Intelligence. Workshop Proceedings, pages 73–110, April 1989.
• M. Bella. Retractions: a functional paradigm for logic programming. In E Hartmut, R Kowalski, G Levi, and U Montanari, editors, TAPSOFT '87: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP), pages 260–275. Springer-Verlag New York Inc., March 1987.
• Marco Bellia and Giorgio Levi. The relation between logic and functional languages: A survey. Journal of Logic Programming, 3(3):217–236, October 1986.
• M. Bellia, P. Bosco, E. Giovannetti, G. Levi, C. Moiso, and C. Palamidessi. A two-level approach to logic plus functional programming integration. In J. de Bakker, A. Numan, and P. Treleaven, editors, PARLE: Parallel Architectures and Languages Europe. Volume I: Parallel architectures, pages 374–393. Springer-Verlag, June 1987.
• D. G. Bobrow and M. J. Stefik. The Loops Manual. Xerox Corporation, Palo Alto, CA, USA, 1983.
• Alan H. Bond and Basuki Soetarman. Integrating Prolog and CADAM to produce an intelligent CAD system. Software: Practice & Experience, 20(10):1049–1076, October 1990.
• Pierre E. Bonzon. An environment model for the integration of logic and functional programming. In John McDermott, editor, IJCAI 87: Proceedings of the Tenth International Joint Conference on Artificial Intelligence, pages 18–23, August 1987.
• A. Borig, P. Mancarella, D. Pedreshi, and F. Turini. Logic programming within a functional framework. In Programming Language Implementation and Logic Programming International Workshop PLILP 90 Proceedings, pages 372–386, August 1990.
• Joanne L. Boyd and Gerald M. Karam. Prolog in `C'. ACM SIGPLAN Notices, 25(7):63–71, July 1990.
• Jean-Pierre Briot and Pierre Cointe. A uniform model for object-oriented languages using the class abstraction. In John McDermott, editor, IJCAI 87: Proceedings of the Tenth International Joint Conference on Artificial Intelligence, pages 40–43, August 1987.
• Maurice Bruynooghe. The memory management of Prolog implementations. In Keith L. Clark and Sten-Åke Tärnlund, editors, Logic Programming, pages 83–98. Academic Press, London, 1982.
• Timothy A. Budd. Blending imperative and relational programming. IEEE Software, 8(1):58–65, January 1991.
• Robert D. Cameron and M. Robert Ito. Grammar-based definition of metaprogramming systems. ACM Transactions on Programming Languages and Systems, 6(1):20–54, 1984. (doi:10.1145/357233.357235)
• Rohit Chandra. Parallel Programming in Openmp. Morgan Kaufmann Publishers, San Francisco, 2001.
• D. R. Chase, W. Wegman, and F. K. Zadeck. Analysis of pointers and structures. ACM SIGPLAN Notices, 25(6):296–319, June 1990.
• G. Chen and M. Williams. The value of an array facility on Prolog. Information Processing Letters, 23(5):247–251, November 1986.
• G. Chen and M. Williams. Executing Pascal programs on a Prolog architecture. Information Software Technology, 29(6):285–290, July/August 1987.
• Shigeru Chiba. A metaobject protocol for c++. ACM SIGPLAN Notices, 30(10):285–299, 1995. (doi:10.1145/217839.217868)
• Takashi Chikayama. Prolog programming environments: Architecture and implementation. In Ehud Shapiro, editor, Third International Conference on Logic Programming, pages 552–553. Springer-Verlag, July 1986.
• Roberto Chislanzoni, Luca Spampinato, and Giorgio Tornielli. Reflection as a tool for integrations: An exercise in procedural introspection. In John McDermott, editor, IJCAI 87: Proceedings of the Tenth International Joint Conference on Artificial Intelligence, pages 44–47, August 1987.
• Keith L. Clark and Sten-Åke Tärnlund, editors. Logic Programming. APIC Studies in DATA Processing No. 16. Academic Press, 1982.
• William Clinger and Jonathan Rees. Macros that work. In POPL '91: Proceedings of the 18th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 155–162, New York, NY, USA, 1991. ACM. (doi:10.1145/99583.99607)
• W. F. Clocksin. A technique for translating clausal specifications of numerical methods into efficient programs. Journal of Logic Programming, 5(3):231–242, September 1988.
• Jacques Cohen. Garbage collection of linked data structures. ACM Computing Surveys, 13(3):339–367, September 1981. (doi:10.1145/356850.356854)
• Jacques Cohen. Constraint logic programming languages. Communications of the ACM, 33(7):52–68, July 1990.
• H. Coleho. The paradigm of logic programming in a civil engineering programming environment. Computers and Artificial Intelligence, 4(2):115–124, 1985.
• Alain Colmerauer. An introduction to Prolog III. Communications of the ACM, 33(7):69–90, July 1990.
• Robert M. Colomb. Assert, retract and external processes in Prolog. Software: Practice & Experience, 18(3):205–220, March 1988.
• James Comer, Jo Perry, Bill Poucher, Richard Rinewalt, and Stan Wileman. Results and problems from the 1990 ACM scholastic programming contest finals. SIGCSE Bulletin, 22(4):15–22, December 1990.
• James Coplien. Multi-Paradigm Design for C++. Addison-Wesley, Boston, 1999.
• James R. Cordy and Medha Shukla. Practical metaprogramming. In CASCON '92: Proceedings of the 1992 Conference of the Centre for Advanced Studies on Collaborative Research, pages 215–224. IBM Press, 1992.
• Karl Crary and Stephanie Weirich. Flexible type analysis. ACM SIGPLAN Notices, 34(9):233–248, 1999. (doi:10.1145/317765.317906)
• Karl Crary, Stephanie Weirich, and Greg Morrisett. Intensional polymorphism in type-erasure semantics. ACM SIGPLAN Notices, 34(1):301–312, 1999. (doi:10.1145/291251.289459)
• M. K. Crowe. Dynamic compilation in the Unix environment. Software: Practice & Experience, 17(7):455–467, July 1987.
• S. Debay and P. Mishra. Denotational and operational semantics for Prolog. Journal of Logic Programming, 5(1):61–91, March 1988.
• Saumya K. Debray and David S. Warren. A denotational semantics for Prolog. ACM Transactions on Programming Languages and Systems, 11(4):650–665, October 1989.
• Saumya K. Debray and David S. Warren. Functional computations in logic programs. ACM Transactions on Programming Languages and Systems, 11(3):451–481, July 1989.
• Doug DeGroot and Gary Lindstrom, editors. Logic Programming, Functions, Relations and Equations. Prentice-Hall, Englewood Cliffs, NJ, USA, 1986.
• D. C. Dodson and A. L. Rector. ``LOGAL'': Algorithmic control structures for Prolog. In Alan Bundy, editor, ICJCAI 83: Proceedings of the Eighth International Joint Conference on Artificial Intelligence, pages 536–538, August 1983.
• A. Domenici, B. Lazzerini, and C. A. Prete. Introduction to Prolog computation model and its implementation. Information Software Journal, 32(6):423–431, July-August 1990.
• Charles Donnelly and Richard Stallman. BISON: The YACC-compatible parser generator. Distributed by the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA, October 1988.
• Wlodzimierz Drabent. Do logic program resemble programs in conventional languages. In Proceedings 1987 Symposium on Logic Programming, pages 389–396. Computer Society Press of the IEEE, August–September 1987.
• Bo Einarsson. Mixed language programming. Software: Practice & Experience, 14(4):383–395, April 1984.
• U. Engelmann, Th. Gerneth, and H. P. Meinzer. Implementation of predicate logic in APL2. APL QuoteQuad, 19(4):124–128, August 1989. Conference Proceedings APL89.
• Lars-Henrik Eriksson and Manny Rayner. Incorporating mutable arrays into logic programming. In Sten-Åke Tärnlund, editor, Proceedings of the Second International Logic Programming Conference, pages 101–114, July 1986.
• Manuel Fähndrich, Michael Carbin, and James R. Larus. Reflective program generation with patterns. In GPCE '06: Proceedings of the 5th international conference on Generative programming and component engineering, pages 275–284, New York, NY, USA, 2006. ACM. (doi:10.1145/1173706.1173748)
• Alan R. Feuer and Narain H. Gehani. A comparison of the programming languages C and Pascal. ACM Computing Surveys, 14(1):73–92, March 1982.
• Alan Feuer. Building libraries in Prolog. In Alan Bundy, editor, ICJCAI 83: Proceedings of the Eighth International Joint Conference on Artificial Intelligence, pages 550–552, August 1983.
• Anthony Finkelstein, Jeff Kramer, and Michael Goedicke. Viewpoint oriented software development. In Third International Workshop on Software Engineering and its Applications, pages 357–351, December 1990.
• Anthony C. W. Finkelstein. Personal communication, March 27 1991.
• G. Fleischhanderl, G. Friedrich, W. Neijdl, and J. Retti. Integratig logic, object-oriented and procedural paradigms in a fault diagnosis and monitoring system. In M. Ali, editor, Industrial and Engineering Applications of Artificial Intelligence and Expert Systems vol 1. The Second International Conference, pages 185–191. ACM Press, June 1989.
• Devid W. Franke. Imbedding rule inferencing in applications. IEEE Expert, 5(6):8–14, December 1990.
• Bertram Fronhöfer. PLANLOG: A language framework for the integration of procedural and logical programming. In John McDermott, editor, IJCAI 87: Proceedings of the Tenth International Joint Conference on Artificial Intelligence, pages 15–17, August 1987.
• A. Furtado. Towards functional programming in Prolog. ACM SIGPLAN Notices, 23(3):43–52, March 1988.
• D. M. Gabbay. Labeled Deductive Systems. Technical Report 90 – 22, Zentrum für Informations und Sprachverarbeitung, Universität München, Leopoldstr. 139, 8000 München 40, Germany, December 1990. Draft Version 5, To be published by Oxford University Press.
• Hervé Gallaire. Merging objects and logic programming: Relational semantics. In AAAI 86: Fifth National Conference on Artificial Intelligence, pages 754–758, August 1986.
• K. M. George. A multilevel programming paradigm. In Ninth Annual International Phoenix Conference on Computer and Communications, pages 340–346. IEEE Computer Society Press, March 1990.
• Jeremy Gibbons. Design patterns as higher-order datatype-generic programs. In WGP '06: Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming, pages 1–12, New York, NY, USA, 2006. ACM. (doi:10.1145/1159861.1159863)
• M. Gittings. Loops: a multi-paradigm environment. In R. Hawley, editor, Artificial Intelligence and Programming Environments, pages 197–212. John Willey & Sons, New York, 1987. LPL 3.60 ART.
• Joseph A. Goguen and José Meseguer. Unifying functional, object-oriented and relational programming with logical semantics. In Bruce Shriver and Peter Wegner, editors, Research Directions in Object-Oriented Programming, pages 417–477. MIT Press, 1987.
• S. Goto. DURAL: An extended Prolog language. In E. Goto, K. Furukawa, R. Nakajima, I. Nakata, and A. Yonezawa, editors, Proceedings of the RIMS Symposia on Software Science and Engineering, pages 73–87. Springer-Verlag New York Inc., 1982.
• J. Grabowski. Design of a second-generation logic programming lanaguage. In Artificial Intelligence and Information-Control Systems of Robots-89. Proceedings of the Fifth International Conference, pages 221–225, Novemeber 1989.
• Robert W. Gray. γ-GLA. In Proceedings of the Summer 1988 USENIX Conference, pages 147–160. Usenix Association, June 1988.
• Douglas Gregor, Jaakko Järvi, Jeremy Siek, Bjarne Stroustrup, Gabriel Dos Reis, and Andrew Lumsdaine. Concepts: linguistic support for generic programming in c++. In OOPSLA '06: Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, pages 291–310, New York, NY, USA, 2006. ACM. (doi:10.1145/1167473.1167499)
• Ralph E. Griswold and Madge T. Griswold. The Icon Programming Language. Prentice-Hall Software Series. Prentice-Hall Inc., Englewood Cliffs, NJ, USA, 1983.
• Jr. Guy L. Steele. Parallel programming and code selection in Fortress. In PPoPP '06: Proceedings of the eleventh ACM SIGPLAN symposium on Principles and practice of parallel programming, pages 1–1, New York, NY, USA, 2006. ACM. (doi:10.1145/1122971.1122972)
• M. Hanus. Compiling logic programs with equality. In Programming Language Implementation and Logic Programming. International Workshop PLILP 90 Proceedings, pages 387–401. Springer-Verlag, August 1990. Lecture Notes in Computer Science 456.
• Robert Harper and Greg Morrisett. Compiling polymorphism using intensional type analysis. In POPL '95: Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 130–141, New York, NY, USA, 1995. ACM. (doi:10.1145/199448.199475)
• W. Harrison and H. Ossher. Sundivided procedures: A language extension supporting extensible programming. In 1990 International Conference on Computer Languages, pages 190–197. IEEE Computer Society, March 1990.
• F. Hattori, K. Kushima, and T. Wasano. A comparison of Lisp, Prolog and Ada programming productivity in AI area. In Proceedings of the 8th International Conference on Software Engineering, pages 285–291. IEEE Computer Society Press, September 1985.
• Roger Hayes, Steve W. Manweiler, and Richard D. Schlichting. A simple system for constructing distributed, mixed-language programs. Software: Practice & Experience, 18(7):641–660, July 1988.
• Christopher T. Haynes and Daniel P. Friedman. Embedding continuations in procedural objects. ACM Transactions on Programming Languages and Systems, 9(4):582–598, October 1987.
• Christopher T. Haynes. Logic continuations. In Ehud Shapiro, editor, Third International Conference on Logic Programming, pages 671–685. Springer-Verlag, July 1986.
• M. Howmann, A. Usha, S. Das, K. Kawamura, and A. Kara. MODULE: A modular programming environment in Prolog. In Z. Ras and M Zemankova, editors, Methodologies for Intelligent Systems. Proceedings of the Second International Symposium, pages 73–80, October 1987.
• M. H. Ibrahim and F. A. Cummins. KSL/logic: Integration of logic with objects. In 1990 International Conference on Computer Languages, pages 228–235. IEEE Computer Society, March 1990.
• M. H. Ibrahim and F. A. Cummins. Objects with logic. In 1990 ACM Eighteenth Annual Computer Science Conference Proceedings, pages 128–133. ACM, February 1990.
• Herman Iline and Henry Kanoui. Extending logic programming to object programming: The system LAP. In John McDermott, editor, IJCAI 87: Proceedings of the Tenth International Joint Conference on Artificial Intelligence, pages 34–39, August 1987.
• D. Jacobs. Type declarations as subtype constraints in logic programming. ACM SIGPLAN Notices, 25(6):165–173, June 1990.
• Radha Jagadeesan and Keshav Pingalis. A fully abstract semantics for a first-order functional language with logic variables. ACM Transactions on Programming Languages and Systems, 13(4):577–624, October 1991.
• Kenneth Kahn, Eric Dean Tribble, Mark S. Miller, and Daniel G. Bobrow. Vulcan: Logical concurrent objects. In Bruce Shriver and Peter Wegner, editors, Research Directions in Object-Oriented Programming, pages 75–112. MIT Press, 1987.
• Jacob Katzenelson. Introduction to enhanced C (EC). Software: Practice & Experience, 13(7):551–576, July 1983.
• M. Kenig. Procedure programming vs. Prolog. AI Expert, 1(3):59–65, November 1986.
• M. Kifer and J. Wu. A logic for object-oriented logic programming. In Prinicples of Database Systems. Proceedings of the eighth ACM SIGACT–SIGMOD–SIGART Symposium, pages 379–393, March 1989.
• Kevin Knight. Unification: A multidisciplinary survey. ACM Computing Surveys, 21(1):93–124, March 1989.
• Yoshiyuki Koseki. Amalgamating multiple programming paradigms in Prolog. In John McDermott, editor, IJCAI 87: Proceedings of the Tenth International Joint Conference on Artificial Intelligence, pages 76–86, August 1987.
• Robert Kowalski. Algorithm = logic + control. Communications of the ACM, 22(7):424–436, July 1979.
• A. Krall. Implementation of a high speed Prolog interpeter. In R. Wexelblat, editor, Intepreter and Intepretive Techniques. SIGPLAN '87 Symposium, pages 125–131, June 1987.
• Peter Kursawe. How to invent a Prolog machine. In Ehud Shapiro, editor, Third International Conference on Logic Programming, pages 134–148. Springer-Verlag, July 1986.
• E. Laenens. Extending logic programming. SIGMOD Rec, 25(6):184–193, June 1990.
• Howard Lambert. Pascal's emulation of a Prolog program. SIGCSE Bulletin, 20(1):254–258, February 1988.
• Guy Lapalme and Suzanne Chapleau. Logicon: an integration of Prolog into Icon. Software: Practice & Experience, 16(10):925–944, October 1986.
• Arthur H. Lee and Joseph L. Zachary. Reflections on metaprogramming. IEEE Transactions on Software Engineering, 21(11):883–893, 1995. (doi:10.1109/32.473217)
• Lie-Quan Lee, Jeremy G. Siek, and Andrew Lumsdaine. The generic graph component library. In OOPSLA '99: Proceedings of the 14th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 399–414, New York, NY, USA, 1999. ACM. (doi:10.1145/320384.320428)
• Meir M. Lehman, Vic Stenning, and Wladyslaw M. Turski. Another look at software design methodology. ACM SIGSOFT Software Engineering Notes, 9(2):38–53, April 1982.
• M. M. Lehman. Personal communication, March 25 1991.
• M. M. Lehman. Software engineering, the software process and their support. Software Engineering Journal, 6(5):243–258, September 1991.
• L. Leonardi and P. Mello. Combining logic and object-oriented programming language paradigms. In B. Shriver, editor, Software Track. Proceedings of the Twenty-First Annual Hawaii International Conference, pages 376–385, January 1988.
• L. S. Levy. A metaprogramming method and its economic justification. IEEE Transactions on Software Engineering, 12(2):272–277, 1986.
• B. I. B. Madhav and Narayan Hedge. Implementing C function calls in rules for an expert system shell. ACM SIGPLAN Notices, 26(2):64–66, February 1991.
• Jeff Magee, Jeff Kramer, Morris Sloman, and Naranker Dulay. An overview of the REX software architecture. Presented at the Second IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems, Cairo, October 1990, June 1990.
• Alberto Martelli and Ugo Montanari. An efficient unification algorithm. ACM Transactions on Programming Languages and Systems, 4(2):252–282, April 1982.
• M. Matthews. Prolog and C join forces. Computer Language, 4(7):34–42, July 1987. Holborn (P)PN 30-E(29).
• Fran McCabe. Personal communication, March 26 1991.
• Brian McNamara and Yannis Smaragdakis. Functional programming with the FC++ library. Journal of Functional Programming, 14(4):429–472, 2004. (doi:10.1017/S0956796803004969)
• Gerhard Mehldau and Robert A. Schowengerdt. A C-extension for rule-based image classification systems. Photogrammetric Engineering and Remote Sensing, LVI(6):887–892, June 1990.
• Lucio F. Melli. the 2.PAK language: Goals and descriptions. In Advance Papers of the Fourth International Joint Conference on Artificial Intelligence, pages 549–555, Sepetember 1975.
• Chris Mellish and Steve Hardy. Integrating Prolog into the POPLOG environment. In Alan Bundy, editor, ICJCAI 83: Proceedings of the Eighth International Joint Conference on Artificial Intelligence, pages 533–535, August 1983.
• C. S. Mellish. An alternative to structure sharing in the implementation of a Prolog intepreter. In Keith L. Clark and Sten-Åke Tärnlund, editors, Logic Programming, pages 99–106. Academic Press, 1982.
• C. S. Mellish. Some global optimizations for a Prolog compiler. The Journal of Logic Programming, 2(1):43–66, April 1985.
• P. Mello. Concurrent objects in a logic programming framework. ACM SIGPLAN Notices, 24(4):37–39, April 1989.
• Eduardus A. T. Merks, J. Michael Dyck, and Robert D. Cameron. Language design for program manipulation. IEEE Transactions on Software Engineering, 18(1):19–32, 1992. (doi:10.1109/32.120313)
• V. Milanese. A Prolog environment for GKS-based graphics. Computer Graphics Forum, 7(1):9–20, March 1988.
• D. Millar. A logical analysis of modules in logic programming. Journal of Logic Programming, 6(1&2):79–108, January, March 1989.
• Carlo Muller. Modula — Prolog: A software development tool. IEEE Software, 3(6):39–45, November 1986.
• Hideyuki Nakashima. Term description: A simple powerful extension to Prolog data structures. In Aravind Joshi, editor, IJCAI 85: Proceedings of the Ninth International Joint Conference on Artificial Intelligence, pages 708–710, August 1985.
• J. O'Bagy and R. Grisworld. A recursive intepreter for the Icon programming language. In R. Wexelblat, editor, Intepreter and Intepretive Techniques. SIGPLAN '87 Symposium, pages 138–149, June 1987.
• Martin Odersky. The Scala experiment — can we provide better language support for component systems? In ACM Symposium on Principles of Programming Languages, pages 166–167, January 2006.
• örg Nolte and Wolfgang Schröder-Preikschat. An object-oriented computing surface for distributed memory architectures. In Hesham El-Rewini, Ted Lewis, and Bruce D. Shriver, editors, Proceedings of the Twenty-Sixth Annual Hawaii Internationa Conference on System Sciences, pages 115–123. IEEE Computer Society Press, 1993.
• Z. Palaskas and P. Loucopoulos. AMORE — object oriented extensions to Prolog. In TOOLS'89. Technology of Object-Oriented Languages and Systems Proceedings, pages 379–393. SOL, November 1989.
• Andrew J. Palay, Wilfred J. Hansen, Mark Sherman, Maria G. Wadlow, Thomas P. Neuendorffer, Zalman Stern, Miles Bader, and Thom Peters. The Andrew toolkit — an overview. In Proceedings of the Winter 1988 USENIX Conference, pages 9–22. Usenix Association, January 1988.
• A. Pan and B. R. Bryant. Denotational semantics-directed compilation using Prolog. In Proceedings of the 1990 Symposium on Applied Computing, pages 122–7. IEEE Computing Society, April 1990.
• Zoltán Porkoláb, József Mihalicza, and Ádám Sipos. Debugging C++ template metaprograms. In GPCE '06: Proceedings of the 5th international conference on Generative programming and component engineering, pages 255–264, New York, NY, USA, 2006. ACM. (doi:10.1145/1173706.1173746)
• Vaughan Pratt. Five paradigm shifts in programming language design and their realization in Viron, a dataflow programming environment. In Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, pages 1–9, Januray 1983.
• T. Przymusinski. On the declarative and procedural semantics of logic programs. Journal of Automated Reasoning, 5(2):167–205, June 1989.
• Atanas Radensky. Toward integration of the imperative and logic programming paradigms: Horn-clause programming in the Pascal environment. ACM SIGPLAN Notices, 25(2):25–34, February 1990.
• T. Reix. SP-object. object extension in the SP-Prolog v2.1 system. In TOOLS'89. Technology of Object-Oriented Languages and Systems Proceedings, pages 483–493. SOL, November 1989.
• J. A. Robinson and E. E. Sibert. Loglisp: Motivation design and implementation. In Keith L. Clark and Sten-Åke Tärnlund, editors, Logic Programming, pages 299–313. Academic Press, 1982.
• Erik Ruf and Daniel Weise. Nondeterminism and unification in LogScheme: Integrating logic and functional programming. In Functional Programming Languages and Computer Architecture. FPCA '89 Conference Proceedings, Fourth International Conference, pages 327–339. ACM, IFIP, ACM Press, September 1989.
• S. Ruiz-Mier and J. Talavage. A hybrid paradigm for modelling of complex systems. In L Widman, K. Loparo, and N. Nielsen, editors, Artificial Intelligence, Simulation and Modeling, pages 381–395. John Wiley & Sons Inc., New York, 1989.
• Z. Ruttkay, R. Allen, and B. Laczik. A multiparadigm user interface for intelligent CAD systems. In P. Ten Hagen and T. Tomiyama, editors, Intelligent CAD Systems I: Theoretical and Methodological Aspects, pages 242–255. Springer-Verlag New York Inc., 1987.
• Douglas C. Schmidt. Gperf: A perfect hash function generator. In Jim Waldo, editor, USENIX C++ Conference, pages 87–100, Berkeley, CA, April 1990. Usenix Association.
• Jiri Soukup and Martin Soukup. The inevitable cycle: Graphical tools and programming paradigms. Computer, 40(8):24–30, 2007. (doi:10.1109/MC.2007.293)
• E. Stabler. Object-oriented programming in Prolog. AI Expert, 1(2):45–57, October 1986.
• Bjarne Stroustrup. Adding classes to the C language: An execrise in language evolution. Software: Practice & Experience, 13(2):139–161, February 1983.
• Bjarne Stroustrup. What is object-oriented programming? IEEE Software, 5(3):10–20, May 1988.
• Ikuo Takeuchi, Hiroshi Okuno, and Nobuyasu Ohsato. A list processing language TAO with multiple programming paradigms. New Generation Computing, 4(4):401–444, 1986.
• J. P. Van Tassel. Specifying and automatically generating Ada tasks in Prolog. In 1990 ACM Eighteenth Annual Computer Science Conference Proceedings, pages 121–127. ACM, February 1990. Prolog + Imperative FIND Anote.
• Atsushi Togashi and Shoichi Noguchi. A program transformation from equational programs into logic programs. The Journal of Logic Programming, 4(2):85–103, June 1987.
• K. Torii, Y. Morisawa, Y. Sugiyama, and T. Kasami. Functional programming and logical programming for the telegram analysis problem. In Software Engineering. Proceedings of the 7th International Conference, pages 463–472, March 1984. LPL 4.50 INT.
• Maarten H. van Emden and Keitaro Yukawa. Logic programming with equations. The Journal of Logic Programming, 4(4):265–288, December 1987.
• M. H. van Emden. An interpreting algorithm for Prolog programs. In Michel Van Caneghem, editor, Proceedings of the First International Logic Programming Conference, pages 56–70. Groupe Intelligence Artificielle at Association pour la Diffusion et le Développement de Prolog, September 1982.
• J. Vlahavas and C. Halatsis. L-machine: a low-cost personal sequential inference machine. Journal of Systems and Software, 9(3):209–223, March 1989. Aldwych (P)POO-E(194).
• David H. D. Warren. Logic programming and compiler writing. Software: Practice & Experience, 10(2):97–125, 1980.
• Peter Wegner. The object-oriented classification paradigm. In Bruce Shriver and Peter Wegner, editors, Research Directions in Object-Oriented Programming, pages 479–560. MIT Press, 1987.
• Peter Wegner. Reasoning and modeling paradigms are incompatible. In Hesham El-Rewini, Ted Lewis, and Bruce D. Shriver, editors, Proceedings of the Twenty-Sixth Annual Hawaii Internationa Conference on System Sciences, pages 115–123. IEEE Computer Society Press, 1993.
• J. L. Weiner and S. Ramakrishan. A piggy-back compiler for Prolog. ACM SIGPLAN Notices, 23(7):288–296, July 1988.
• Daniel Weise and Roger Crew. Programmable syntax macros. In PLDI '93: Proceedings of the ACM SIGPLAN 1993 Conference on Programming Language Design and Implementation, pages 156–165, New York, NY, USA, 1993. ACM. (doi:10.1145/155090.155105)
• Mark B. Wells and Barry L. Kurtz. Teaching multiple programming paradigms: A proposal for a paradigm-general pseudocode. SIGCSE Bulletin, 21(1):246–251, February 1989.
• M. Wells. Multiparadigmatic programming in Modcap. Journal of Object-Oriented Programming, 1(5):53–60, January/February 1989.
• Richard L. Wexelblat. Maxims for malfeasant designers, or how to design languages to make programming as difficult as possible. In Proceedings of the 2nd International Conference on Software Engineering, pages 331–336. IEEE Computer Society Press, October 1976.
• M. J. Wise. An implementation of modules in Prolog. Australian Computer Journal, 21(4):141–150, November 1989.
• William G. Wong. Arrays and assignment in Prolog. SIGART Newsletter, (102):21, October 1987.
• Sethi XXX. Personal communication, March 26 1991.
• Pamela Zave. A compositional approach to multiparadigm programming. IEEE Software, 6(5):15–25, September 1989.

 Last change: Friday, March 14, 2008 10:15 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.