Literatur

[Abe85]
Abelson, H., Sussman, G. & Sussman, J., Structure and Interpretation of Computer Programs, MIT Press, (1985).
[All78](62)
Allen, J., Anatomy of Lisp, McGraw-Hill Series in Artifical Intelligence, (1978).
[Abr87](49)
Abraham, Santosh G., & Patel, Janak H., Parallel Garbage Collection on a Virtual Memory System, Proc. 1987 Int. Conf. on Parallel Process., 243-246.
[Appel87](25)
Appel, Andrew W., Garbage Collection can be Faster than Stack Allocation, Inform. Process. Lett., 25, 275-279, (1987).
[Appel89](52)
Appel, Andrew W., Simple Generational Garbage Collection and Fast Allocation, Software---Practice and Experience, 19 (2), 171-183 (FEBRUARY 1989).
[Appleby88](8)
Appleby, K., Carlsson, M., Haridi, S., & Sahlin, D., Garbage Collection for Prolog Based on WAM, CACM, 31 (6), 719-741, (JUNE 1988).
[Bak78](15)
Baker, Henry G. Jr., List Processing in Real Time on a Serial Computer, CACM, 21 (4), 280-294, (APRIL 1978).
[Balt87]
Balter, R., Krakowiak, S., Meysembourg, M., Roisin, C., Rousset de Pina, X., Scioville, R. & Vandome, G., Principes de conception du système d'exploitation réparti GUIDE, rapport interne, IMAG Grenoble, (1987).
[Bar86](14)
Barklund, Jonas, & Millroth, H åkan, Garbage Cut for Garbage Collection of Iterative Prolog Programs, Proc. IEEE Symp. on Logic Programming, 276-283, (1986).
[Bek84]
Bekkers, Y., Canet, B., Ridoux, O., Ungaro, L., A memory management machine for Prolog Interpreters, Proc. of. 2nd Int. Logic Program. Conf., Tarnlund (ed.), 343-351, (1984).
[Bek86](63)
Bekkers, Y., Canet, B., Ridoux, O. & Ungaro, L., Mali: A Memory with a Real-Time Garbage Collector for Implementing Logic Programming Languages, Proc. IEEE Symp. on Logic Programming, 258-264, (1986).
[Ben84](10)
Ben-Ari, Mordechai, Algorithms for On-the-Fly Garbage Collection, TOPLAS, 6 (3), 333-344, (JULY 1984).
[Bob67](39)
Bobrow, Daniel G., & Murphy, Daniel L., Structure of a LISP System Using Two-Level Storage, CACM, 10 (3), 155-159, (MARCH 1967).
[Boeh88](47)
Boehm, Hans-Juergen, & Weiser, Mark, Garbage Collection in an Uncooperative Environment, Software---Practice and Experience, 18 (9), 807-820 (SEPTEMBER 1988).
[Boi86]
Boizumault, P, A General Model to Implement dif and freeze, Proc. of 3rd Int. Logic Programm. Conf., Shapiro, E. (ed.), LNCS 225, 585-592 (1986).
[Boi86](66)
Boizumault, P., A Classical Implementation for Prolog-II, Proc. IEEE Symp. on Logic Programming, 262-273, (1986).
[Boi88](55)
Boizumault, P., PROLOG l'implantation, Masson, Paris, (1988).
[Bos88]
Bosworth, George, Conversation with George Bosworth, Journal of Object-Oriented Programming, 1 (2), 36-37, (JUNE/JULY 1988).
[BraLe71]
Branquart, P. & Lewi, J., A Scheme of Storage Allocation and Garbage Collection for Algol 68, Algol 68 Implementation, Proc. of the IFIP Work. Conf. on ALGOL 68 Implementation 1970, North-Holland, 199-232, (1971).
[Bro82]
Broy, M., & Pepper, P. Combining algebraic and algorithmic reasoning: an approach to the Schorr-Waite algorithm, ACM TOPLAS, 4 (3), 362-381, (JULY 1982).
[Bru82](59)
Bruynooghe, M., The Memory Management of PROLOG Implementations, Logic Programming, Clark & Tärnlund (ed.), Academic Press, 83-98, (1982).
[Bru84](20)
Bruynooghe, M., Garbage Collection in Prolog Interpreters, Implementations of Prolog, Campbell (ed), Ellis Horwood, 259-267, (1984).
[But87](57)
Butler, Margaret H., Storage Reclamation in Object Oriented Database Systems, SIGMOD RECORD, 16 (3), 410-425, (DECEMBER 1987), Proc. of ACM SIGMOD Conf.
[Can86](54)
Caneghem, M. van, L'Anatomie de Prolog, InterÉditions, Paris, (1986).
[Carl87]
Carlsson M., Freeze, Indexing and Other Implementation Issues in the WAM, Proc. of the 4th Int. Conf. of Logic Programming, Melbourne, Lassez Jean-Louis (ed.), MIT Press, 1987.
[ChaCo69]
Chastellier, G. de, Colmerauer, A., W-grammar, Proc. of the ACM Congr., San Francisco, 511-518, (1969).
[Chri84](2)
Christopher, Thomas W., Reference Count Garbage Collection, Software---Practice and Experience, 14 (6), 503-507 (JUNE 1984).
[Cla76](7)
Clark, Douglas W., An Efficient List- Moving Algorithm Using Constant Workspace, CACM, 19 (6), 352-354, (JUNE 1976).
[ClMe84]
Clocksin W. F. and Mellish C. S., Programming in Prolog, Springer Verlag, 1984.
[Co67](38)
Cohen, Jacques, A Use of Fast and Slow Memories in List-Processing Languages, CACM, 10 (2), 82-86, (FEBRUARY 1967).
[Co81](12)
Cohen, Jaques, Garbage Collection of Linked Data Structures, Computing Surveys, 13 (3), (SEPTEMBER 1981).
[Co83](19)
Cohen, Jaques, & Nicolau, Alexandru, Comparison of Compacting Algorithms for Garbage Collection, TOPLAS, 5 (4), (OCTOBER 1983).
[Co83b](19)
Cohen, Jaques, Describing Prolog by its Interpretation and Compilation, CACM, 28 (12), 1311-1324, (DECEMBER 1985).
[Coll60](29)
Collins, George E., A Method for Overlapping and Erasure of Lists, CACM, 3 (12), 655-657, (DECEMBER 1960).
[Colm82]
Colmerauer, A., PROLOG and infinite trees, Logic Programming, Academic Press, (1982).
[Colm84]
Colmerauer, A., Prolog langage de l'intelligence artificielle, La Recherche, (158), 1104-1114, (SEPTEMBER 1984). s.a.
[Can86].
[ComLes88]
Comon, H. & Lescannes, P., Equational problems and disunification, (to appear in) Journal of Symbolic Computation, Special Issue on Unification, (1989).
[Cour88](58)
Courts, Robert, Improving locality of Reference in a Garbage-Collecting Memory Management System, CACM, 31 (9), 1128-1138, (SEPTEMBER 1988).
[Dav84](64)
Davies, D.J.M., Memory Occupancy Patterns in Garbage Collection Systems, CACM, 27 (8), 819-825, (1984).
[Darl81a]
Darlington, J., The Structured Description of Algorithm Derivations, Algorithmic Languages, deBakker, J.W. & Vliet, H. van, (eds.), Elsevier North-Holland, (1981).
[Darl81b]
Darlington, J., An Experimental Program Transformation and Synthesis System, Artifical Intelligence, 16 (1), 1-46, (MARCH 1981).
[Decou86]
Decouchant, Dominique, Design of a Distributed Object Manager for the Smalltalk-80 System, OOPSLA86, ACM SIGPLAN Notices, 21 (11), 444-452, (NOVEMBER 1986).
[Dem89]
Demoen, Barth & Marien, Andre, Inline expansion versus threaded code,1654@kulcs.kulcs.uucp, comp.lang.prolog, USENET news, (28 APRIL 1989).
[Der87a]
Deransart, Pierre & Ferrand, Gérard, Programmation avèc nègation: Présentation formelle, Rap. de Recherche, Lab. de Inf. 87-3, Univ. d'Orleans, (JUNE 1987).
[Der87]
Deransart, Pierre & Ferrand, Gérard, An Operational Formal Definition of PROLOG, Symp. on Logic Programm., (AUGUST 1987).
[Der89]
Deransart, Pierre, Folkjaer, Preben, Pique, Jean-Francois & Scowen, Roger S., Prolog, Draft for Working Draft 1.0, ISO/IEC JTCI SC 22 WG 17 N28, NPL, Teddington, (FEBRUARY 1989).
[Der79](43)
Derschowitz, Nachum, The Schorr-Wait Marking Algorithm Revisited, Inform. Process. Lett., 11 (3), 141-143, (20 JULY 1979).
[Deu76](44)
Deutsch, L. Peter, & Bobrow, Daniel G., An Efficient, Incremental, Automatic Garbage Collector, CACM, 19 (9), 522-526, (SEPTEMBER 1976).
[Dew77](32)
Dewar, Robert B.K., & McCann, A.P., MACRO SPLITBOL --- a SNOBOL4 Compiler, Software---Practice and Experience, 7, 95-113, (1977).
[Dijk78](13)
Dijkstra, Edsger W., Lamport, Leslie, Martin, A.J., Scholten, C.S., & Steffens, E.F.M., On-the-Fly Garbage Collection: An Exercise in Cooperation, CACM, 21 (11), 966-975, (NOVEMBER 1978).
[Ed64]
Edwards, Daniel J., Secondary storage in LISP, 1st Int. LISP Conf., (1964).
[Ehn89](65)
Ehn, L., A Contribution to the Increase of Efficiency of on-the-fly Garbage Collection, Computers and Artifical Intelligence, 8 (1), 83-91, (1989).
[EhrMa85]
Ehrig, H. & Mahr, B., Fundamentals of Algebraic Specification 1, Springer-Verlag, (1985).
[EmKo76]
Emden, M. H. van, & Kowalski, Robert A., The Semantics of Predicate Logic as Programming Language, JACM, 23 (4), (APRIL 1976).
[Fea87](70)
Feather, Martin S., A Survey and Classification of some Program Transformation Approaches and Techniques, Program Specification and Transformation, Meertens, L.G.L.T. (ed.), Elsevier Science Publ. B.V., IFIP, 165-195, (1987).
[Fen69](40)
Fenichel, Robert R., & Yochelson, Jerome C., A LISP Garbage-Collector for Virtual-Memory Computer Systems, CACM, 12 (11), 611-612, (NOVEMBER 1969).
[Fie88](21)
Fields, A.J. & Harrison, P.G., Functional Programming, Addison-Wesley, 1988.
[Fit78](28)
Fitch, J.P., & Norman, A.C., A Note on Compactifying Garbage Collection, The Computer Journal, 21 (1), 31-34, (JANUARY 1978).
[Flo67]
Floyd, R.W., Nondeterministic algorithms, JACM, 14, 636-644, (OCTOBER 1967).
[Gab85](45)
Gabriel, Richard P., Performance and Evaluation of Lisp Systems, The MIT Press, 1985.
[Gla87](53)
Glaser, H.W., & Thompson, P., Lazy Garbage Collection, Software---Practice and Experience, 17 (1), 1-4 (January 1987).
[GoMe87]
Goguen, J.A. & Meseguer, J., Models and Equality for Logical Programming, TAPSOFT '87 Vol.2, LNCS 250, 1-22, (MARCH 1987).
[Gon84]
Gonnet, G.H., Handbook of Algorithms and Data Structures, Addison-Wesley, (1984).
[Go83]
Goos, G., Wulf, W.A. et al. (ed.), DIANA, An Intermediate Language for ADA., LNCS 161, (1983).
[Gri81]
Gries, David,+Chapter 21, Inverting Programs, The Science of Programming, Springer-Verlag, 263-274, (1981).
[Gu88](51)
Gupta, A., & Fuchs, W.K., Reliable Garbage Collection in Distributed Object Oriented Systems, IEEE 1988, 324-328.
[Han77](33)
Hanson, David R., Storage Management for an Implementation of SNOBOL4, Software---Practice and Experience, 7, 179-192, (1977).
[Har88]
Harmelen, Frank van, A classification of meta-level architectures, Meta88, Proc. of the Worksh. on Meta-Programm. in Logic Programm., 81-94 (JUNE 1988).
[Hick84](9)
Hickey, Tim, & Cohen, Jacques, Performance Analysis of On-the-Fly Garbage Collection, CACM, 27 (11), 1143- , (NOVEMBER 1984).
[Hog81]
Hogger, C.J., Derivation of Logic Programs, JACM, 28 (2), 372-392, (APRIL 1981).
[Hop71]
Hopcroft, J.E., An n log n algorithm for minimizing states in a finite automaton,Theory of Machines and Computations, Kohavi, Z. & Paz, A. (ed.), Academic Press, (1971).
[JaLa87]
Jaffar, Joxan & Lassez, Jean-Louis, Constraint Logic Programming, 14th ACM POPL Symp., (JANUARY1987).
[Jon79](24)
Jonkers, H.B.M., A Fast Garbage Compaction Algorithm, Inform. Processi. Lett., 9 (1), 26-30, (20 JULY 1979).
[Kaz87](48)
Katzberg, Jack D., A Lisp System for Evaluation Garbage Collector Performance, ACM SIGMETRIC 87, 272.
[Knu73]
Knuth, Donald E., The Art of Computer Programming, vol.1-3, Addison-Wesley, (1969,1973).
[Kowa79]
Kowalski, Robert A., Logic for Problem Solving, Elsevier - North Holland, (1979).
[Kow79]
Kowalski, Robert A., Algorithm = Logic + Control, CACM, 22 (7), 424-436, (JULY 1979).
[Kowa88]
Kowalski, Robert A., The Early Years of Logic Programming, CACM, 31 (1), (JANUARY 1988).
[Kral87]
Krall, Andreas, Implementation of a High-Speed Prolog Interpreter, ACM SIGPLAN NOTICES, 7(7), (JULY 1987).
[Kral88]
Krall, Andreas, Analyse und Implementierung von Prologsystemen, Dissertation TU-Wien, (1988).
KüNe87]
Kühn, eva & Neumerkel, Ulrich, A Freezy Way of Coupling the Prolog Universe with DBS, VIP-TR 1802/87/2, Technical Univ. of Vienna, Austria, (1987).
[Kü89]
Kühn, eva, Implementierung von Multi-Datenbanksystemen in Prolog, Dissertation, (eingereicht), TU-Wien (1989).
[Kuro81](3)
Kurokawa, Thoshiaki, A New Fast and Safe Marking Algorithm, Software---Practice and Experience, 11, 671-682 (1981).
[La87](11)
Lang, Bernard, & Dupont, Francis, Incremental Incrementally Compacting Garbage Collection, SIGPLAN, 22 (7), 253-263, (JULY 1987), Proc. Symp. on Interpreters and Interpretive Techniques.
[Li86](4)
Li, Kai, & Hudak, Paul, A New List Compaction Method, Software---Practice and Experience, 16 (2), 143-163 (FEBRUARY 1986).
[Lieb83](18)
Liebermann, Henry, & Hewitt, Carl, A Real-Time Garbage Collector Based on the Lifetime of Objects, CACM, 26 (6), 419-429, (JUNE 1983).
[LiKe87]
Lindholm, Timothy G. & O'Keefe, Richard A., Efficient Implementation of a Defensible Semantics for Dynamic Prolog Code, Proc. of the 4th Int. Conf. of Logic Programming, Lassez, Jean-Louis (ed.), MIT Press, (1987).
[LisGu86]
Liskov, Barbara & Guttag, John, Abstraction and Specification in Program Development, MIT-Press, (1986).
[Llo87]
Lloyd, J.W., Foundations of Logic Programming, 2nd. Ed., Springer-Verlag, (1987).
[Mal87]
Malpas, J., Prolog: A Relational Language and its Applications, Prentice Hall, (1987).
[Mar71]
Marshall, S. An Algol 68 Garbage Collector, Algol 68 Implementation, Proc. of the IFIP Work. Conf. on ALGOL 68 Implementation 1970, Peck, J.E.L. (ed.), North-Holland, 239-234, (1971).
[McB63](42)
McBeth, J. Harold, On the Reference Counter Method, (letter), CACM, 6 (9),575, (SEPTEMBER 1963).
[McC60](35)
McCarthy, John, Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I, CACM 3 (4), 184-195, (APRIL 1960).
[Moo84]
Moon, D.A. Garbage Collection in a Large Lisp System, Proc. of the 1984 ACM Symp. on Lisp and Functional Programm., 235-246, (AUGUST 1984).
[Mor78](6)
Morris, F. Lockwood, A Time- and Space- Efficient Compaction Algorithm, CACM, 12 (8), 662-665 (AUGUST 1978).
[Mor82](23)
Morris, F. Lockwood, Another Compacting Garbage Collector, Inform. Process. Lett., 15 (4), 139-142 (31 OCTOBER 1982).
[Nais86] Naish, L., Negation and Control in Prolog, LNCS 238, (1986).
[Neum88]
Neumerkel Ulrich, Metastrukturen in Prolog, Beilagen zum Abschlußbericht des Jubiläumsfondsprojektes Nr.2791, Ein logikorientiertes Datenbank Management System unter Prolog, gefördert von der österreichischen Nationalbank, (1988). auch: VIP TR 1802/88/2-4, TU-Wien,
[Niel77](67)
Nielsen, N.R., Dynamic Memory Allocation in Computer Simulation, CACM, 20 (11), 864-873, (1977).
[Nil88](1)
Nilsen, K., Garbage Collection of Strings and Linked Data Structures in Real Time, Software---Practice and Experience, 18 (7), 613-640 (JULY 1988).
[Oll71]
Ollongren, A., On the Vienna Method for the Definition of Programming Languages,IBM Tech. Rep. TR 25.120, (MAY 1971).
[Oppi85]
Oppitz, Marcus, et al., VIP - A Prolog Programming Environment,TR 1802/85/1, TU-Wien, (1985).
[Pit85](56)
Pittomvills, E., Bruynooghe, M., & Willems, Yves D. Towards a Real Time Garbage Collector for Prolog, IEEE 1985 Symp. on Logic Programming, 185-198.
[Punt89]
Puntigam, Franz, VIP Memory-Management, Diplomarbeit, (eingereicht) TU-Wien, (1989).
[Rid87](46)
Ridoux, Olivier, Deterministic and Stochastic Modeling of Parallel Garbage Collection --- Towards Real-Time Criteria, Proc, IEEE 14th Symp. on Computer Architecture, 128-136, (1987).
[Ros85]
Rosenblum, David S., A Methodology for the Design of Ada Transformation Tools in a Diana Environment, IEEE Software, 2 (2), 24-33, (MARCH 1985).
[Ros86](60)
Ross, M.L., & Ramamohanarao, K., Paging Strategy for Prolog Based Dynamic Memory, Proc. IEEE Symp. on Logic Programming, 46-55, (1986).
[San82]
Sannsonnet, J.F., Castan, M., Percebois, C., Botella, D. & Perez, J., +Direct Execution of Lisp on a List Directed Architecture, Proc. Symp. on Architectural Support for Programm. Lang. and Operat. Syst.,SIGPLAN, 17 (4), 132-139, (APRIL 1982).
[Sche88](61)
Schelvis, M., & Bledoeg, E., The Implementation of Distributed Smalltalk, Proc. ECOOP '88, LNCS 322, 212-232, (1988).
[Scho67](41)
Schorr, H., & Waite, W.M., An Efficient Machine-Independent Procedure for Garbage Collection in Various List Structures, CACM, 10 (8), 501-506, (AUGUST 1967).
[Shin87](50)
Shin, Heonshik, Malek, Miroslaw, & Lee, Sukho, Concurrent Garbage Collection with Associative Tag, Proc. IEEE 2nd Int. Conf. on Computers and Applications, 230-235, (1987).
[Snep87](30)
Snepscheut, Jan L.A. van de, "Algorithms for On-the-Fly Garbage Collection" Revisited, Inform. Processi. Lett., 24, 211-216, (2 MARCH 1987).
[StSh86]
Sterling, L. & Shapiro, E., The Art of Prolog, MIT Press, (1986).
[Spec](34)
Spector, David, Minimal Overhead Garbage Collection of Complete List Structure, SIGPLAN, 17 (3), 80-82 (MARCH 1982).
[Ste75]
Steele, Guy L., Multiprocessing Compactifying Garbage Collection, CACM, 18 (9), (SEPTEMBER 1975).
[Tick88]
Tick, Evan, Memory Performance of Prolog Architectures, Kluwer Academic Publishers, 1988.
[ThZo87]
Thom, James A. and Zobel, Justin, NU-Prolog Reference Manual, Version 1.1, TR 86/10, Dept. of Computer Sc., Univ. of Melbourne, 1987 May, Machine Intelligence Project.
[Thor76](26)
Thorelli, Lars-Erik, A Fast Compactifying Garbage Collector, BIT, 16, 426-441, (1976).
[Un84](17)
Ungar, David, Generation Scavening: A Non-disruptive High Performance Storage Reclamation Algorithm, SIGPLAN, 19 (5), Proc. of the ACM SIGSOFT/SIGPLAN Softw. Eng. Symp. on Practical Software Development Environments, 157-167, (MAY 1984).
[Un88](16)
Ungar, David, & Jackson, Frank, Tenuring Policies for Generation-Based Storage Reclamation, SIGPLAN, 23 (11), 1-17, (NOVEMBER 1988), Proc. OOPSLA '88.
[Wad76]
Wadler, Philip, Analysis of an Algorithm for Real Time Garbage Collection, CACM, 19 (9), 491-500, (SEPTEMBER 1976).
[Wad87](5)
Wadler, Philip, Fixing Some Space Leaks with a Garbage Collector, Software---Practice and Experience, 17 (9), 595-608 (SEPTEMBER 1987).
[War77](22)
Warren, David H.D., Pereira, Luis M., & Pereira, Fernando, PROLOG - The Language and its Implementation Compared with LISP, ACM Symp. on AI and Programming Languages, (1977).
[Warr77]
Warren, David H.D., Implementing Prolog - compiling predicate logic programs, Univ. of Edinburgh, Dept. of AI, TR 39, TR 40, (1977).
[Warr83]
Warren, David H.D., An Abstract Prolog Instruction Set, SRI International, TR 309, (1983).
[Weg72](27)
Wegbreit, B., A generalised Compactifying Garbage Collector, The Computer Journal, 15 (3), 204-208, (MARCH 1972).
[Wei62](37)
Weizenbaum, J., Knotted List Structures, CACM, 5 (3), 161-165, (MARCH 1962).
[Wei63](36)
Weizenbaum, J., Symmetric List Processor, CACM, 6 (9), 524-536, (SEPTEMBER 1963).
[Wie87]
Wiederhold, G., File Organization for Database Design, McGraw-Hill, (1987).
[Wij75]
Wijngaarden, A. van, et al., Revised Report on the Algorithmic Language, ALGOL 68, Acta Informatica, 5, 1-236, (1975).
[Wi77](31)
Wise, David S., & Friedmann, Daniel P., The One-Bit Reference Count, BIT, 17, 351-359, (1977).
[Wo71]
Wodon, P.L., Methods of Garbage Collection for Algol 68, Algol 68 Implementation, Proc. of the IFIP Work. Conf. on ALGOL 68 Implementation 1970, Peck, J.E.L. (ed.), North-Holland, 245-260, (1971).
[Ze]
Zeil, S.& Barbanis, G., IRIS Interface User Manual, Comp. and Inf. Sci.Dept., Univ. of Mass. MA 01003.