Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP Posting-Version: version B 2.10.3 4.3bsd-beta 6/6/85; site ucbvax.BERKELEY.EDU Path: utzoo!decvax!bellcore!ulysses!ucbvax!techreports From: E1AR0002@SMUVM1.BITNET Newsgroups: mod.techreports Subject: %#S##% tech reports Message-ID: <8602201321.AA16405@ucbvax.berkeley.edu> Date: Thu, 20-Feb-86 08:24:58 EST Article-I.D.: ucbvax.8602201321.AA16405 Posted: Thu Feb 20 08:24:58 1986 Date-Received: Sat, 22-Feb-86 01:57:34 EST Sender: daemon@ucbvax.BERKELEY.EDU Organization: The ARPA Internet Lines: 1022 Approved: techreports@smu.CSNET :aim 335 :unavailable :title {Image Intensity Understanding} :author Berthold K. P. Horn :asort Horn, B.K.P. :date August 1975 :reference {See "Understanding Image Intensities," {\it Artificial Intelligence}, Vol. 8, No. 2, April 1977, pp. 201-231} :ADnum (AD-A021135) :aim 336 :unavailable :title {Teaching Teachers Logo, The Lesley Experiments} :author Howard Austin :asort Austin, H. :date April 1976 :pages 26 :aim 337 :unavailable :title {Artificial Intelligence, Language and the Study of Knowledge} :author Ira Goldstein and Seymour Papert :asort Goldstein, I.; Papert, S. :date July 1975 :reference Revised March 1976 :pages 79 :aim 338 :unavailable :title {The Art of Snaring Dragons} :author Harvey A. Cohen :asort Cohen, H.A. :date November 1974 :pages 59 :revised May 1975 :reference See Logo Memo 18 :aim 339 :unavailable :title {Very Large Planner-type Data Bases} :author Drew V. McDermott :asort McDermott, D. :date September 1975 :pages 52 :ADnum (AD-A026370) :aim 340 :unavailable :title {Early Processing of Visual Information} :author D. Marr :asort Marr, D. :date December 1975 :ADnum (AD-A021445) :reference {See {\it Philo\-soph\-ical Transactions of the Royal Society of London, B}, 275, pp. 483-524, (1976).} :pages 67 :aim 341 :unavailable :title {Spatial Disposition of Axes in a Generalized Cylinder Representation of Objects that Do Not Encompass the Viewer} :author D. Marr and K. Nishihara :asort Marr, D.; Nishihara, H.K. :date December 1975 :pages 44 :ADnum (AD-A023456) :aim 342 :unavailable :title {The Development of Musical Intelligence I: Strategies for Representing S imple Rhythms} :author Jeanne Bamberger :asort Bamberger, J. :date November 1975 :pages 67 :reference See Logo Memo 19 :aim 343 :unavailable :title {Leading a Child to a Computer Culture} :author Cynthia Solomon :asort Solomon, C. :date December 1975 :pages 6 :reference See Logo Memo 20 :aim 344 :unavailable :title {How Near Is Near? A Near Specialist} :author Murray Elias Denofsky :asort Denofsky, M.E. :date February 1976 :pages 75 :aim 348 :unavailable :title {Turtle Escapes the Plane: Some Advanced Turtle Geometry} :author Andy diSessa :asort diSessa, A. :date December 1975 :pages 38 :reference See Logo Memo 21, also {\it Turtle Geometry: The Computer as a Medium for Exploring Mathematics}, MIT Press, 1981. :aim 349 :unavailable :title {An Interpreter for Extended Lambda Calculus} :author Gerald J. Sussman and Guy L. Steele, Jr :asort Sussman, G.J.; Steele, G.L., Jr. :date December 1975 :pages 43 :ADnum (AD-A026595) :aim 351 :unavailable :title {A State Space Model for Sensorimotor Control and Learning} :author Marc Raibert :asort Raibert, M. :date January 1976 :pages 35 :ADnum (AD-A026960) :aim 353 :title {Lambda: The Ultimate Imperative} :author Guy Lewis Steele, Jr. and Gerald Jay Sussman :asort Steele, G.L., Jr.; Sussman, G.J. :date March 1976 :cost $2.25 :pages 41 :ADnum (AD-A030751) :abstract We demonstrate how to model the following common programming constructs in terms of an applicative order language similar to LISP: Simple Recursion, Iteration, Compound Statements and Expressions, GO TO and Assignment, Continuation-Passing, Escape Expressions, Fluid Variables, Call by Name, Call by Need, and Call by Reference. The models require only (possibly self-referent) lambda application, conditionals, and (rarely) assignment. No complex data structures such as stacks are used. The models are transparent, involving only local syntactic transformations. Some of these models, such as those for GO TO and assignment, are already well known, and appear in the work of Landin, Reynolds, and others. The models for escape expressions, fluid variables, and call by need with side effects are new. This paper is partly tutorial in intent, gathering all the models together for purposes of context. :aim 355 :unavailable :title {Artificial Intelligence -- A Personal View} :author David Marr :asort Marr, D. :date March 1976 :pages 11 :reference {See {\it Artificial Intelligence} 9, pp. 37-48, 1976} :aim 356 :unavailable :title {Logo Progress Report 1973-1975} :author H. Abelson, J. Bamberger, I. Goldstein, and S. Papert :asort Abelson, H.; Bamberger, J.; Goldstein, I.; Papert, S. :date September 1975 :pages 21 :reference Revised March 1976. See Logo Memo 22. :aim 357 :unavailable :title {From Understanding Computation to Understanding Neural Circuitry} :author D. Marr and T. Poggio :asort Marr, D.; Poggio, T. :date May 1976 :pages 22 :reference {See {\it Neurosciences Res. Prog. Bulletin}, 15, pp. 470-488} :ADnum (AD-A026875) :aim 358 :unavailable :title {The Text-Justifier TJ6} :author Joseph D. Cohen :asort Cohen, J.D. :date May 1976 :pages 44 :aim 359 :unavailable :title {Spatial Knowledge} :author Benjamin Kuipers :asort Kuipers, B.J. :date June 1976 :pages 51 :ADnum (AD-A026874) :aim 360 :unavailable :title {Using Computer Technology to Provide a Creative Learning Environment for Preschool Children} :author Radia Perlman :asort Perlman, R. :date May 1976 :pages 31 :aim 361 :unavailable :title {The TV Turtle, A Logo Graphics System for Raster Displays} :author Henry Lieberman :asort Lieberman, H. :date June 1976 :pages 8 :aim 363 :unavailable :title {Occlusion Clues and Subjective Contours} :author Kent A. Stevens :asort Stevens, K.A. :date July 1976 :pages 19 :reference (Replaced by Memo 637) :aim 364 :unavailable :title {Cooperative Computation of Stereo Disparity} :author D. Marr and T. Poggio :asort Marr, D.; Poggio, T. :date June 1976 :pages 20 :ADnum (AD-A030748) :reference {See {\it Science}, 194, 282-287, 15 October, 1976} :aim 365 :unavailable :title {A Laboratory Environment for Applications Oriented Vision and Manipulati on} :author P. H. Winston and B. K. P. Horn :asort Winston, P.H.; Horn, B.K.P. :date May 1976 :pages 171 :ADnum (AD-A026990) :aim 366 :unavailable :title {Proposal to the Advanced Research Projects Agency} :author P. H. Winston and staff of the MIT AI Lab :asort Winston, P.H. :date May 1976 :pages 122 :ADnum (AD-A034091) :aim 367 :unavailable :title {Filling-in The Gaps: The Shape of Subjective Contours and a Model for Th eir Generation} :author Shimon Ullman :asort Ullman, S. :date October 1976 :pages 21 :reference {See {\it Biol. Cybernetics}, 25, pp. 1-6, 1976} :ADnum (AD-A034091) :aim 368 :unavailable :title {A System for Understanding Mathematical FORTRAN Programs} :author Richard C. Waters :asort Waters, R.C. :date August 1976 :pages 78 :ADnum (AD-A031844) :aim 369 :unavailable :title {Physiology and Psychology of Color Vision -- A Review} :author David Taenzer :asort Taenzer, D. :date August 1976 :pages 46 :aim 370 :unavailable :title {Synthesizing Constraint Expressions} :author Eugene C. Freuder :asort Freuder, E.C. :date July 1976 :ADnum (AD-A034011) :pages 31 :aim 371 :unavailable :title {NSF Proposal: An Evaluative Study of Modern Technology in Education} :author Seymour A. Papert :asort Papert, S. :date June 1976 :pages 44 :reference See Logo Memo 26 :aim 372 :unavailable :title {Analysis of Occluding Contour} :author David C. Marr :asort Marr, D. :date October 1976 :pages 54 :reference {See {\it Proceedings Royal Soc. of London B}, 197, pp. 441-475, (1977)} :ADnum (AD-A34010) :aim 373 :unavailable :title {Some Poetic and Social Criteria for Education Design} :author Seymour A. Papert :asort Papert, S. :date June 1976 :pages 14 :aim 374 :unavailable :title {A Computerized Look at Cat Locomotion or One Way to Scan a Cat} :author Glen Speckert :asort Speckert, G. :date July 1976 :pages 41 :ADnum (AD-A031856) :aim 375 :unavailable :title {A Case Study of a Young Child Doing Turtle Graphics in LOGO} :author Cynthia J. Solomon and Seymour Papert :asort Solomon, C.; Papert, S. :date July 1976 :pages 9 :reference See Logo Memo 28 :aim 376 :unavailable :title {Computational Geometry of Linear Threshold Functions} :author Harold Abelson :asort Abelson, H. :date July 1976 :pages 56 :aim 377 :unavailable :title {Representation and Recognition of the Spatial Organization of Three Dime nsional Shapes} :author D. Marr and H. K. Nishihara :asort Marr, D.; Nishihara, H.K. :date August 1976 :pages 57 :reference {See {\it Proc. R. Soc. London B}, 200, pp. 269-294} :ADnum (AD-A031882) :aim 378 :unavailable :title {Arithmetic Shifting Considered Harmful} :author Guy L. Steele, Jr :asort Steele, G.L., Jr. :date September 1976 :pages 13 :reference {See {\it ACM SIGPLAN Notices}, Vol. 12, No. 11, November 1977} :ADnum (AD-A031883) :aim 379 :title {LAMBDA: The Ultimate Declarative} :author Guy Lewis Steele, Jr. :asort Steele, G.L., Jr. :date November 1976 :cost $2.75 :pages 47 :ADnum (AD-A034090) :keywords environments, lambda calculus, procedurally defined data, data types, optimizing compilers, control structures, function invocation, temporary variables, continuation passing, actors, lexical scoping, dynamic binding :abstract In this paper, a sequel to "Lambda: The Ultimate Imperative," a new view of LAMBDA as a {\it renaming} operator is presented and contrasted with the usual functional view taken by LISP. This view, combined with the view of function invocation as a kind of generalized GOTO, leads to several new insights into the nature of the LISP evaluation mechanism and the symmetry between form and function, evaluation and application, and control and environment. It also complements Hewitt's actors theory nicely, explaining the intent of environment manipulation as cleanly, generally, and intuitively as the actor theory explains control structures. The relationship between functional and continuation-passing styles of programming is also clarified. This view of LAMBDA leads directly to a number of specific techniques for use by an optimizing compiler: (1) Temporary locations and user-declared variables may be allocated in a uniform manner. (2) Procedurally defined data structures may compile into code as good as would be expected for data defined by the more usual declarative means. (3) Lambda-calculus-theoretic models of such constructs as GOTO, DO loops, call-by-name, etc. may be used {\it directly} as macros, the expansion of which may then compile into code as good as that produced by compilers which are designed especially to handle GOTO, DO, etc. The necessary characteristics of such a compiler designed according to this philosophy are discussed. Such a compiler is to be built in the near future as a testing ground for these ideas. :aim 380 :unavailable :title Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis :author Richard M. Stallman and Gerald Jay Sussman :asort Stallman, R.M.; Sussman, G.J. :date September 1976 :pages 69 :reference {See {\it AI Journal}, Vol. 9, No. 2, pp. 135-196, October 1977} :ADnum (AD-A035719) :aim 381 :unavailable :title {Wumpus Advisor 1: A First Implementation Of A Program That Tutors Logica l and Probabilistic Reasoning Skills} :author James L. Stansfield, Brian P. Carr, and Ira P. Goldstein :asort Stansfield, J.L.; Carr, B.; Goldstein, I. :date October 1976 :pages 67 :ADnum (AD-A036678) :aim 382 :unavailable :title {Dual Coding and the Representation of Letter Strings} :author Steven T. Rosenberg :asort Rosenberg, S. :date July 1977 :pages 17 :aim 383 :unavailable :title {Overview of a Linguistic Theory of Design} :author Mark L. Miller and Ira P. Goldstein :asort Miller, M.L.; Goldstein, I. :date December 1976 :reference See Logo Memo 30 :ADnum (AD-A036915) :pages 31 :aim 383A :unavailable :title {Overview of a Linguistic Theory of Design} :author Mark L. Miller and Ira P. Goldstein :asort Miller, M.L.; Goldstein, I. :date February 1977 :pages 31 :reference See Logo Memo 30A :ADnum (AD-A036977) :aim 384 :unavailable :title {AI Based Personal Learning Environments: Directions for Long Term Resear ch} :author Ira P. Goldstein and Mark L. Miller :asort Goldstein, I.; Miller, M.L. :date December 1976 :pages 35 :aim 385 :unavailable :title {Parsing Protocols Using Problem Solving Grammars} :author Mark L. Miller and Ira P. Goldstein :asort Miller, M.L.; Goldstein, I. :date December 1976 :pages 58 :aim 386 :unavailable :title {SPADE: A Grammar Based Editor For Planning And Debugging Programs} :author Mark L. Miller and Ira P. Goldstein :asort Miller, M.L.; Goldstein, I. :date December 1976 :pages 64 :ADnum (AD-A036783) :reference See Logo Memo 33 :aim 387 :unavailable :title {Structured Planning and Debugging A Linguistic Theory of Design} :author Ira P. Goldstein and Mark L. Miller :asort Goldstein, I.; Miller, M.L. :date December 1976 :pages 85 :ADnum (AD-A0368l5) :reference See Logo Memo 34 :aim 388 :unavailable :title {PAZATN: A Linguistic Approach To Automatic Analysis of Elementary Progra mming Protocols} :author Mark L. Miller and Ira P. Goldstein :asort Miller, M.L.; Goldstein, I. :date December 1976 :pages 87 :reference See Logo Memo 35 :aim 389 :unavailable :title {A Preliminary Proposal for Research on The Computer as Coach: An Athleti c Paradigm for Intellectual Education} :author Ira Goldstein :asort Goldstein, I. :date January 1977 :pages 74 :reference See Logo Memo 37 :aim 391 :unavailable :title {Grammar as a Programming Language} :author Neil Rowe :asort Rowe, N. :date October 1976 :reference See Logo Memo 39 :pages 25 :aim 392 :unavailable :title {Computation of Locally Parallel Structure} :author Kent A. Stevens :asort Stevens, K.A. :date March 1977 :ADnum (AD-A052406) :pages 31 :aim 393 :unavailable :title {NSF Proposal: Student Science Training Program In Mathematics, Physics A nd Computer Science} :author Harold Abelson and Andy diSessa :asort Abelson, H.; diSessa, A. :date September 1976 :reference See Logo Memo 29 :pages 52 :aim 394 :unavailable :title {Local Methods for Localizing Faults in Electronic Circuits} :author Johan de Kleer :asort de Kleer, J. :date November 1976 :reference (Formerly Working Paper 109) :ADnum (AD-A036007) :pages 30 :aim 395 :unavailable :title {Pre-Readers' Concepts of the English Word} :author Robert Lawler :asort Lawler, R. :date November 1976 :reference See Logo Memo 40 :pages 142 :aim 396 :unavailable :title {Teaching the Computer to Add: An Example of Problem-Solving in an Anthro pomorphic Computer Culture} :author Cynthia Solomon :asort Solomon, C. :date December 1976 :reference See Logo Memo 41 :pages 21 :aim 398 :unavailable :title {Capturing Intuitive Knowledge in Procedural Description} :author Jeanne Bamberger :asort Bamberger, J. :date December 1976 :reference See Logo Memo 42 :pages 15 :aim 399 :unavailable :title {Symbolic Evaluation Using Conceptual Representations for Programs with S ide-Effects} :author Akinori Yonezawa and Carl Hewitt :asort Yonezawa, A.; Hewitt, C. :date December 1976 :ADnum (AD-A038244) :pages 43 :aim 400 :unavailable :title {The Competence/Performance Dichotomy in Programming} :author Vaughn R. Pratt :asort Pratt, V.R. :date January 1977 :ADnum (AD-A038245) :pages 18 :aim 401 :unavailable :title {Development of Musical Intelligence II: Children's Representation of Pit ch Relations} :author Jeanne Bamberger :asort Bamberger, J. :date December 1976 :reference See Logo Memo 43 :pages 30 :aim 405 :unavailable :title {NUDGE, A Knowledge-based Scheduling Program} :author Ira P. Goldstein and R. Bruce Roberts :asort Goldstein, I.; Roberts, R.B. :date February 1977 :pages 23 :aim 406 :unavailable :title {Overlays: A Theory for Computer Aided Instruction} :author Brian Carr and Ira P. Goldstein :asort Carr, B.; Goldstein, I. :date February 1977 :ADnum (AD-A052210) :pages 23 :aim 407 :unavailable :title {Annotated Production Systems: A Model for Skill Acquisition} :author Ira P. Goldstein and Eric Grimson :asort Goldstein, I.; Grimson, W.E.L. :date February 1977 :ADnum (AD-A052211) :reference See Logo Memo 44 :pages 24 :aim 408 :unavailable :title {The FRL Primer} :author R. Bruce Roberts and Ira P. Goldstein :asort Roberts, R.B.; Goldstein, I. :date July 1977 :ADnum (AD-A053306) :pages 21 :aim 409 :unavailable :title {The FRL Manual} :author R. Bruce Roberts and Ira P. Goldstein :asort Roberts, R.B.; Goldstein, I. :date June 1977 :ADnum (AD-A052310) :pages 29 :aim 410 :unavailable :title {Viewing Control Structures as Patterns of Passing Messages} :author Carl Hewitt :asort Hewitt, C. :date December 1976 :ADnum (AD-A038246) :pages 60 :aim 412 :unavailable :title {Control and Learning by the State Space Model: Experimental Findings} :author Marc Raibert :asort Raibert, M. :date April 1977 :pages 54 :aim 413 :unavailable :title {Level of Complexity in Discourse for Reference Disambiguation and Speech Act Interpretation} :author Candace Bullwinkle :asort Bullwinkle, C. :date May 1977 :ADnum (AD-A052306) :pages 25 :aim 414 :unavailable :title {Learning by Hypothesizing and Justifying Transfer Frames} :author Patrick H. Winston :asort Winston, P.H. :date April 1977 :ADnum (AD-A052212) :reference Revised January 1978 :pages 24 :aim 414A :unavailable :title {Learning by Creating and Justifying Transfer Frames} :author Patrick H. Winston :asort Winston, P.H. :date January 1978 :reference {See {\it Artificial Intelligence}, Vol. 10, pp. 147-172, 1978} :ADnum (AD-A055092) :pages 34 :aim 415 :unavailable :title {Representing Visual Knowledge} :author D. Marr :asort Marr, D. :date May 1977 :reference {See {\it A.M.S. Lectures in the Life Sciences}, vol. 10, pp. 101-180, 1978. Also, {\it Proceedings of the 1977 AAAS Meeting} Symposium on Some Mathematical Questions in Biology} :ADnum (AD-A055045) :pages 62 :aim 416 :unavailable :title {Representation and Recognition of the Spatial Organization of Three Dime nsional Shapes} :author D. Marr and H. K. Nishihara :asort Marr, D.; Nishihara, H.K. :date May 1977 :ADnum (AD-A053198) :pages 33 :aim 417 :unavailable :title {Wusor II: A Computer Aided Instruction Program with Student Modelling Ca pabilities} :author Brian Carr :asort Carr, B. :date May 1977 :reference See Logo Memo 45 :pages 131 :aim 420 :unavailable :title {Data Representations in PDP-10 MacLISP} :author Guy Lewis Steele, Jr. :asort Steele, G.L., Jr. :date September 1977 :reference {See {\it MACSYMA Users Conference Proceedings}, July 1977} :ADnum (AD-A052305) :pages 13 :aim 421 :unavailable :title {Fast Arithmetic in MacLISP} :author Guy Lewis Steele, Jr. :asort Steele, G.L., Jr. :date September 1977 :reference {See {\it MACSYMA Users Conference Proceedings}, July 1977} :ADnum (AD-A052304) :pages 11 :aim 422 :unavailable :title {Light Source Effects} :author K. Forbus :asort Forbus, K.D. :date May 1977 :ADnum (AD-A052309) :pages 26 :aim 423 :unavailable :title {COMEX: A Support System for a Commodities Analyst} :author J. Stansfield :asort Stansfield, J.L. :date July 1977 :ADnum (AD-A052442) :pages 29 :aim 424 :unavailable :title {The Minimum Energy Movement for a Spring Muscle Model} :author John M. Hollerbach :asort Hollerbach, J.M. :date September 1977 :ADnum (AD-A065543) :pages 28 :aim 425 :unavailable :title {Electrical Design a Problem for Artificial Intelligence Research} :author Gerald Jay Sussman :asort Sussman, G.J. :date June 1977 :reference {See {\it IJACI 5 Proceedings}, August 1977} :pages 20 :aim 426 :unavailable :title {The Computation of Immediate Texture Discrimination} :author Bruce R. Schatz :asort Schatz, B.R. :date August 1977 :ADnum (AD-A053804) :pages 97 :aim 427 :unavailable :title {Explicit Control of Reasoning} :author Johan de Kleer, Jon Doyle, Guy L. Steele, Jr., and Gerald Jay Sussman :asort de Kleer, J.; Doyle, J.; Steele, G.L., Jr.; Sussman, G.J. :date June 1977 :reference {See {\it AIPL August 1977 Proceedings} in {\it SIGPLAN/SIGART} 1977} :ADnum (AD-A078244) :pages 25 :aim 428 :unavailable :title {Modelling Distributed Systems} :author Akinori Yonezawa and Carl Hewitt :asort Yonezawa, A.; Hewitt, C. :date June 1977 :reference {See {\it Proceedings of 1977 International Joint Conference on Artificial Intelligence}, pp. 189-198, August 1977. Also in {\it Machine Intelligence 9}, John Wylie, 1978} :ADnum (AD-A062531) :pages 21 :aim 429 :unavailable :title {A Proof-checker for Dynamic Logic} :author S. D. Litvintchouk and V. R. Pratt :asort Litvintchouk, S.D.; Pratt, V.R. :date June 1977 :ADnum (AD-A052443) :pages 19 :aim 430 :unavailable :title {Plain Talk About Neurodevelopmental Epistemology} :author Marvin Minsky :asort Minsky, M. :date June 1977 :pages 23 :aim 431 :unavailable :title {Frames-based Text Processing} :author S. Rosenberg :asort Rosenberg, S. :date August 1977 :ADnum (AD-A052444) :pages 33 :aim 432 :unavailable :title {Teacher's Guide for Computational Models of Animal Behavior} :author Hal Abelson and Paul Goldenberg :asort Abelson, H.; Goldenberg, P. :date April 1977 :reference See Logo Memo 46 :pages 36 :aim 433 :unavailable :title {Slices At the Boundary between Analysis and Synthesis} :author Gerald Jay Sussman :asort Sussman, G.J. :date July 1977 :reference {See {\it Proceedings Conference on Artificial Intelligence and Pattern Recognition in Computer-Aided Design}, IFIP WG 5.2, Grenoble, France, March 1978. See also AIM 502A.} :pages 23 :aim 435 :unavailable :title {AMORD A Deductive Procedure System} :author Johan de Kleer, Jon Doyle, Charles Rich, Guy L. Steele, and Gerald Jay Sussman :asort de Kleer, J.; Doyle, J.; Rich, C.; Steele, G.L., Jr.; Sussman, G.J. :date January 1978 :ADnum (AD-A078417) :pages 47 :aim 436A :unavailable :title {Actors and Continuous Functionals} :author Carl Hewitt and Henry Baker :asort Hewitt, C.; Baker, H.G. :date July 1977 :reference {See {\it Formal Description of Programming Concepts}, (Ed.) Erich J. Neuhold. Also {\it Procedings IFIP Working Conference on Formal Description of Programming Concepts}, pp. 367-387, August 1-5, 1977} :ADnum (AD-A062532) :pages 29 :aim 437 :unavailable :title {Using Synthetic Images to Register Real Images with Surface Models} :author Berthold K. P. Horn and Brett L. Bachman :asort Horn, B.K.P.; Bachman, B.L. :date August 1977 :reference {See {\it Comm. of the A.C.M.}, Vol. 21, No. 11, November 1978, pp. 914-924} :ADnum (AD-A052512) :pages 50 :aim 438 :unavailable :title {Specification and Proof Techniques for Serializers} :author Russell Atkinson and Carl Hewitt :asort Atkinson, R.; Hewitt, C. :date August 1977 :reference {See {\it IEEE Journal on Software Engineering}, Vol. SE-5, No. 1, pp. 10-23, January 1979} :ADnum (AD-A062533) :pages 37 :aim 440 :unavailable :title {Density Reconstruction Using Arbitrary Ray Sampling Schemes} :author Berthold K. P. Horn :asort Horn, B.K.P. :date September 1977 :reference {See {\it Proc I.E.E.E.}, Vol. 66, No. 5, May 1978} :pages 56 :aim 441 :unavailable :title {On "Learnable" Representations of Knowledge: A Meaning for the Computati onal Metaphor} :author Andrea A. diSessa :asort diSessa, A. :date September 1977 :reference {See {\it Cognitive Process Instruction}, J. Lochhead \& J. Clement, eds., Franklin Institute Press, 1978, pp. 239-266. See also Logo Memo 47.} :pages 41 :aim 442 :unavailable :title {Towards a Theory of Local and Global in Competition} :author Harold Abelson :asort Abelson, H. :date September 1977 :pages 43 :aim 443 :unavailable :title {Debunking the "Expensive Procedural Call" Myth or Procedure Call Impleme ntation Considered Harmful or Lambda: The Ultimate GOTO} :author Guy Lewis Steele, Jr. :asort Steele, G.L., Jr. :date October 1977 :ADnum (AD-A062381) :pages 23 :aim 444 :unavailable :title {LISP Machine Progress Report} :author Alan Bawden, Richard Greenblatt, Jack Holloway, Thomas Knight, David Moon, Daniel Weinreb :asort Bawden, A.; Greenblatt, R.; Holloway, J.; Knight, T.; Moon, D.; Weinreb, D. :date August 1977 :ADnum (AD-A062178) :pages 29 :aim 445 :unavailable :title {Understanding Hand-Printed Algebra for Computer Tutoring} :author Stephen C. Purcell :asort Purcell, S.C. :date February 1977 :pages 66 :aim 446 :unavailable :title {Analysis of a Cooperative Stereo Algorithm} :author D. Marr, G. Palm and T. Poggio :asort Marr, D.; Palm, G.; Poggio, T. :date October 1977 :reference {See {\it Biol. Cybernetics}, Vol. 28, pp. 223-239, 1978} :ADnum (AD-A055099) :pages 65 :aim 447 :title {An Introduction to the EMACS Editor} :author Eugene Ciccarelli :asort Ciccarelli, E. :date January 1978 :cost $2.75 :pages 23 :abstract EMACS is a real-time editor primarily intended for display terminals The intent of this memo is to describe EMACS in enough detail to allow a user to edit comfortably in most circumstances, knowing how to get more information if needed. Basic commands described cover buffer editing, file handling, and getting help. Two sections cover commands especially useful for editing LISP code, and text (word- and paragraph-commands). A brief "cultural interest" section describes the environment that supports EMACS commands. :end :aim 448 :unavailable :title {Fan-beam Reconstruction Methods} :author Berthold K. P. Horn :asort Horn, B.K.P. :date November 1977 :pages 43 :reference {See {\it Proceedings of the IEEE}, Vol. 67, No. 12, pp. 1616-1623, December 1979} :aim 449 :unavailable :title {The Genetic Epistemology of Rule Systems} :author Ira P. Goldstein :asort Goldstein, I. :date January 1978 :pages 45 :aim 451 :unavailable :title {A Theory of Human Stereo Vision} :author D. Marr and T. Poggio :asort Marr, D.; Poggio, T. :date November 1977 :pages 89 :reference {See {\it Proceedings Royal Society of London} B., Vol. 204, 301-328, 1979} :ADnum (AD-A062564) :aim 452 :title {The Revised Report on Scheme a Dialect of LISP} :author Guy Lewis Steele Jr. and Gerald Jay Sussman :asort Steele, G.L., Jr.; Sussman, G.J. :date January 1978 :cost $2.25 -------