Micro-Planner Reference ManualJuly 1970
- Authors:
- Gerald Sussman,
- Terry Winograd
Abstract
No abstract available.
Cited By
Gabriel R and Steele G A pattern of language evolution Celebrating the 50th Anniversary of Lisp, (1-10)- Bundy A A survey of automated deduction Artificial intelligence today, (153-174)
- Sussman G and Steele G (1998). Scheme, Higher-Order and Symbolic Computation, 11:4, (405-439), Online publication date: 1-Dec-1998.
- Apt K, Brunekreef J, Partington V and Schaerf A (1998). Alma-O, ACM Transactions on Programming Languages and Systems (TOPLAS), 20:5, (1014-1066), Online publication date: 1-Sep-1998.
- Steele G and Gabriel R The evolution of Lisp History of programming languages---II, (233-330)
- Sergot M, Sadri F, Kowalski R, Kriwaczek F, Hammond P and Cory H (1986). The British Nationality Act as a logic program, Communications of the ACM, 29:5, (370-386), Online publication date: 1-May-1986.
- Stanfill C and Waltz D (1986). Toward memory-based reasoning, Communications of the ACM, 29:12, (1213-1228), Online publication date: 1-Dec-1986.
- Ullman J (1985). Implementation of logical query languages for databases, ACM Transactions on Database Systems (TODS), 10:3, (289-321), Online publication date: 1-Sep-1985.
- Cortese G and Sirovich F A Daemon-based programming system for office procedures. Proceedings of the second ACM-SIGOA conference on Office information systems, (203-211)
- Cortese G and Sirovich F (2019). A Daemon-based programming system for office procedures., ACM SIGOA Newsletter, 5:1-2, (203-211), Online publication date: 1-Jun-1984.
- Komorowski H Partial evaluation as a means for inferencing data structures in an applicative language Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (255-267)
- Doyle J and London P (1980). A selected descriptor-indexed bibliography to the literature on belief revision, ACM SIGART Bulletin:71, (7-22), Online publication date: 1-Apr-1980.
- McDermott D (1980). The prolog phenomenon, ACM SIGART Bulletin:72, (16-20), Online publication date: 1-Jul-1980.
- Hewitt C The Apiary network architecture for knowledgeable systems Proceedings of the 1980 ACM conference on LISP and functional programming, (107-117)
- Steele G and Sussman G Constraints Proceedings of the international conference on APL: part 1, (208-225)
- Small S Word expert parsing Proceedings of the 17th annual meeting on Association for Computational Linguistics, (9-13)
- Steele G and Sussman G (1979). Constraints, ACM SIGAPL APL Quote Quad, 9:4-P1, (208-225), Online publication date: 1-Jun-1979.
- Gordon M, Milner R, Morris L, Newey M and Wadsworth C A Metalanguage for interactive proof in LCF Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (119-130)
- Reiter R On reasoning by default Proceedings of the 1978 workshop on Theoretical issues in natural language processing, (210-218)
- McCarthy J History of LISP History of programming languages, (173-185)
- McCarthy J (2019). History of LISP, ACM SIGPLAN Notices, 13:8, (217-223), Online publication date: 1-Aug-1978.
- Montangero C, Pacini G and Turini F (1977). Two-level control structure for nondeterministic programming, Communications of the ACM, 20:10, (725-730), Online publication date: 1-Oct-1977.
- Sacerdoti E, Fikes R, Reboh R, Sagalowicz D, Waldinger R and Wilber B QLISP Proceedings of the June 7-10, 1976, national computer conference and exposition, (349-356)
- LeFaivre R Procedural representation in a fuzzy problem-solving system Proceedings of the June 7-10, 1976, national computer conference and exposition, (1069-1074)
- Low J and Rovner P Techniques for the automatic selection of data structures Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages, (58-67)
- Biss K, Chien R, Stahl F and Weissman S (1976). Semantic Modeling for Deductive Question-Answering, IEEE Transactions on Computers, 25:4, (358-366), Online publication date: 1-Apr-1976.
- Gerritsen R (1975). A preliminary system for the design of DBTG data structures, Communications of the ACM, 18:10, (551-557), Online publication date: 1-Oct-1975.
- Winograd T (2019). Breaking the complexity barrier again, ACM SIGPLAN Notices, 10:1, (13-30), Online publication date: 1-Jan-1975.
- Druseikis F and Doyle J A procedural approach to pattern matching in SNOBOL4 Proceedings of the 1974 annual conference - Volume 1, (311-317)
- Leavenoworth B and Sammet J An overview of nonprocedural languages Proceedings of the ACM SIGPLAN symposium on Very high level languages, (1-12)
- Leavenoworth B and Sammet J (2019). An overview of nonprocedural languages, ACM SIGPLAN Notices, 9:4, (1-12), Online publication date: 1-Apr-1974.
- Winograd T (1973). Breaking the complexity barrier again, ACM SIGIR Forum, 9:3, (13-30), Online publication date: 31-Dec-1975.
- Winograd T Breaking the complexity barrier again Proceedings of the 1973 meeting on Programming languages and information retrieval, (13-30)
- Cheatham T and Wegbreit B (1972). A laboratory for the study of automating programming, ACM SIGSAM Bulletin:21, (8-26), Online publication date: 1-Jan-1972.
- Cheatham T and Wegbreit B A laboratory for the study of automating programming Proceedings of the May 16-18, 1972, spring joint computer conference, (11-21)
- Bobrow D (1972). Requirements for advanced programming systems for list processing, Communications of the ACM, 15:7, (618-627), Online publication date: 1-Jul-1972.
Recommendations
Turning manual concurrent memory reclamation into automatic reference counting
PLDI 2022: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and ImplementationSafe memory reclamation (SMR) schemes are an essential tool for lock-free data structures and concurrent programming. However, manual SMR schemes are notoriously difficult to apply correctly, and automatic schemes, such as reference counting, have been ...
Reconciling Manual and Automated Testing: The AutoTest Experience
HICSS '07: Proceedings of the 40th Annual Hawaii International Conference on System SciencesSoftware can be tested either manually or automatically. The two approaches are complementary: automated testing can perform a large number of tests in little time, whereas manual testing uses the knowledge of the testing engineer to target testing to ...
An empirical evaluation and comparison of manual and automated test selection
ASE '14: Proceedings of the 29th ACM/IEEE International Conference on Automated Software EngineeringRegression test selection speeds up regression testing by re-running only the tests that can be affected by the most recent code changes. Much progress has been made on research in automated test selection over the last three decades, but it has not ...