Skip header Section
Skip Bibliometrics Section
Structure and Interpretation of Computer ProgramsAugust 1996
- Authors:
- Harold Abelson,
- Gerald J. Sussman
Skip Abstract Section
Abstract
From the Publisher:
With an analytical and rigorous approach to problem solving and programming techniques,this book is oriented toward engineering. Structure and Interpretation of Computer Programs emphasizes the central role played by different approaches to dealing with time in computational models. Its unique approach makes it appropriate for an introduction to computer science courses,as well as programming languages and program design.
Cited By
- Xie Z, Wong G, Chiu D and Lei J (2023). Bridging K–12 Mathematics and Computational Thinking in the Scratch Community: Implications Drawn From a Creative Learning Context, IT Professional, 25:2, (64-70), Online publication date: 1-Mar-2023.
- Shukla G and Wonnacott D (2022). On Teaching and Testing Recursive Programming, Journal of Computing Sciences in Colleges, 38:3, (98-106), Online publication date: 1-Nov-2022.
- Dal Lago U and Gavazzo F (2022). Effectful program distancing, Proceedings of the ACM on Programming Languages, 6:POPL, (1-30), Online publication date: 16-Jan-2022.
- Li H, He Y, Xiao Q, Tian J and Bao F BHDL: A Lucid, Expressive, and Embedded Programming Language and System for PCB Designs 2021 58th ACM/IEEE Design Automation Conference (DAC), (355-360)
- Nostas J, Alcocer J, Costa D and Bergel A How Do Developers Use the Java Stream API? Computational Science and Its Applications – ICCSA 2021, (323-335)
- Shahin R Towards Assurance-Driven Architectural Decomposition of Software Systems Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops, (187-196)
- Piantadosi S (2021). The Computational Origin of Representation, Minds and Machines, 31:1, (1-58), Online publication date: 1-Mar-2021.
- Peng D, Dong X, Real E, Tan M, Lu Y, Liu H, Bender G, Kraft A, Liang C and Le Q PyGlove Proceedings of the 34th International Conference on Neural Information Processing Systems, (96-108)
- Nakamura R, Kuga Y and Sekiya Y An Alternative Fast Packet I/O with Native System Calls Proceedings of the 14th International Conference on Future Internet Technologies, (1-7)
- Henning J, Stangl D, Niephaus F, Kruck B and Hirschfeld R Hot Code Patching in CPython Proceedings of the 14th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, (1-7)
- Fouladi S, Romero F, Iter D, Li Q, Chatterjee S, Kozyrakis C, Zaharia M and Winstein K From laptop to lambda Proceedings of the 2019 USENIX Conference on Usenix Annual Technical Conference, (475-488)
- Dhulipala L, Blelloch G and Shun J Low-latency graph streaming using compressed purely-functional trees Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, (918-934)
- Andelfinger P, Ivanchev J, Eckhoff D, Cai W and Knoll A From Effects to Causes Proceedings of the 2019 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, (173-184)
- Ferreira J, Lopes F, Ghimire S, Doumeingts G, Agostinho C and Jardim-Goncalves R Cyber-Physical Production Systems to Monitor the Polishing Process of Cutlery Production 2018 International Conference on Intelligent Systems (IS), (926-933)
- van Schelven K Clef Design Proceedings of the 11th European Lisp Symposium on European Lisp Symposium, (94-102)
- Newton J and Verna D Strategies for Typecase Optimization Proceedings of the 11th European Lisp Symposium on European Lisp Symposium, (23-31)
- Batko P and Kuta M (2018). Actor model of Anemone functional language, The Journal of Supercomputing, 74:4, (1485-1496), Online publication date: 1-Apr-2018.
- Vandercammen M, Marr S and De Roover C (2018). A flexible framework for studying trace-based just-in-time compilation, Computer Languages, Systems and Structures, 51:C, (22-47), Online publication date: 1-Jan-2018.
- Kjolstad F, Chou S, Lugato D, Kamil S and Amarasinghe S taco: a tool to generate tensor algebra kernels Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, (943-948)
- Mattis T, Rein P, Ramson S, Lincke J and Hirschfeld R Towards concept-aware programming environments for guiding software modularity Proceedings of the 3rd ACM SIGPLAN International Workshop on Programming Experience, (36-45)
- Trefftz C, Scripps J and Kurmas Z (2017). An introduction to elements of parallel programming with JAVA streams and/or thrust in a data structures and algorithms course, Journal of Computing Sciences in Colleges, 33:1, (11-23), Online publication date: 1-Oct-2017.
- Zaytsev V Language design with intent Proceedings of the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, (45-52)
- Van Es N, Stievenart Q, Nicolay J, DHondt T and De Roover C (2017). Implementing a performant scheme interpreter for the web in asm.js, Computer Languages, Systems and Structures, 49:C, (62-81), Online publication date: 1-Sep-2017.
- Goldstein M, Dayan D, Rabin M, Berlowitz D, Berlowitz O and Yehezkael R Design principles of an embedded language (EFL) enabling well defined order-independent execution Proceedings of the Fifth European Conference on the Engineering of Computer-Based Systems, (1-8)
- Brown M and Palsberg J (2017). Typed self-evaluation via intensional type functions, ACM SIGPLAN Notices, 52:1, (415-428), Online publication date: 11-May-2017.
- Brown M and Palsberg J Typed self-evaluation via intensional type functions Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, (415-428)
- Tedre M and Denning P The long quest for computational thinking Proceedings of the 16th Koli Calling International Conference on Computing Education Research, (120-129)
- Afshari M and Su Z Building white-box abstractions by program refinement Proceedings of the 2016 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, (74-81)
- Ranade A Introductory Programming Proceedings of the 2016 ACM Conference on Innovation and Technology in Computer Science Education, (278-283)
- Savić M, Ivanović M, Radovanović M and Budimac Z Modula-2 versus Java as the first programming language Proceedings of the 17th International Conference on Computer Systems and Technologies 2016, (415-422)
- Hansen D, Schneider D and Leuschel M Using B and ProB for Data Validation Projects Proceedings of the 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z - Volume 9675, (167-182)
- Coblenz M, Sunshine J, Aldrich J, Myers B, Weber S and Shull F Exploring language support for immutability Proceedings of the 38th International Conference on Software Engineering, (736-747)
- Van Es N, Nicolay J, Stievenart Q, D'Hondt T and De Roover C A performant scheme interpreter in asm.js Proceedings of the 31st Annual ACM Symposium on Applied Computing, (1944-1951)
- Ropella G and Hunt C Measuring analog granularity Proceedings of the Agent-Directed Simulation Symposium, (1-6)
- De Wael M, Marr S, De Koster J, Sartor J and De Meuter W Just-in-time data structures 2015 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software (Onward!), (61-75)
- Taub R, Armoni M, Bagno E and Ben-Ari M (2015). The effect of computer science on physics learning in a computational science environment, Computers & Education, 87:C, (10-23), Online publication date: 1-Sep-2015.
- Dinakar K, Picard R and Lieberman H Common sense reasoning for detection, prevention, and mitigation of cyberbullying Proceedings of the 24th International Conference on Artificial Intelligence, (4168-4172)
- Brown M and Palsberg J (2015). Self-Representation in Girard's System U, ACM SIGPLAN Notices, 50:1, (471-484), Online publication date: 11-May-2015.
- Lasseter J The Interpreter In An Undergraduate Compilers Course Proceedings of the 46th ACM Technical Symposium on Computer Science Education, (168-173)
- Anderson R, Ernst M, Ordóñez R, Pham P and Tribelhorn B A Data Programming CS1 Course Proceedings of the 46th ACM Technical Symposium on Computer Science Education, (150-155)
- Matsuzawa Y, Ohata T, Sugiura M and Sakai S Language Migration in non-CS Introductory Programming through Mutual Language Translation Environment Proceedings of the 46th ACM Technical Symposium on Computer Science Education, (185-190)
- (2015). A feature model of actor, agent, functional, object, and procedural programming languages, Science of Computer Programming, 98:P2, (120-139), Online publication date: 1-Feb-2015.
- Brown M and Palsberg J Self-Representation in Girard's System U Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, (471-484)
- Qadir J and Hasan O (2015). Applying Formal Methods to Networking: Theory, Techniques, and Applications, IEEE Communications Surveys & Tutorials, 17:1, (256-291), Online publication date: 1-Jan-2015.
- Spoon T Helmet Proceedings of the 2014 Winter Simulation Conference, (2289-2300)
- Chen J and Edelman A Parallel prefix polymorphism permits parallelization, presentation & proof Proceedings of the 1st First Workshop for High Performance Technical Computing in Dynamic Languages, (47-56)
- Heitzinger C and Tulzer G Julia and the numerical homogenization of PDEs Proceedings of the 1st First Workshop for High Performance Technical Computing in Dynamic Languages, (36-40)
- Salvaneschi G, Amann S, Proksch S and Mezini M An empirical study on program comprehension with reactive programming Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (564-575)
- Conversy S Unifying Textual and Visual Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software, (201-212)
- Voufo L, Zalewski M and Lumsdaine A Scoping rules on a platter Proceedings of the 10th ACM SIGPLAN workshop on Generic programming, (59-70)
- Nunes-Harwitt A From Naïve to Norvig On Deriving a PROLOG Compiler Proceedings of ILC 2014 on 8th International Lisp Conference, (70-78)
- Begel A and Zimmermann T Analyze this! 145 questions for data scientists in software engineering Proceedings of the 36th International Conference on Software Engineering, (12-23)
- Uneson M (2014). When Errors Become the Rule, ACM Computing Surveys, 46:4, (1-51), Online publication date: 1-Apr-2014.
- Yoo D and Krishnamurthi S (2013). Whalesong, ACM SIGPLAN Notices, 49:2, (97-108), Online publication date: 5-Feb-2014.
- Chang S and Felleisen M (2014). Profiling for laziness, ACM SIGPLAN Notices, 49:1, (349-360), Online publication date: 13-Jan-2014.
- Chang S and Felleisen M Profiling for laziness Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, (349-360)
- Mairson H (2013). Functional geometry and the Traité de Lutherie, ACM SIGPLAN Notices, 48:9, (123-132), Online publication date: 12-Nov-2013.
- Yoo D and Krishnamurthi S Whalesong Proceedings of the 9th symposium on Dynamic languages, (97-108)
- Mairson H Functional geometry and the Traité de Lutherie Proceedings of the 18th ACM SIGPLAN international conference on Functional programming, (123-132)
- Yamamoto N, Shiroma S and Nishioka T Handling structural models composed of objects and their mutual relations in the spatial cognition experiments Proceedings of the 7th international conference on Universal Access in Human-Computer Interaction: user and context diversity - Volume 2, (634-641)
- Berges M and Hubwieser P Concept specification maps Proceedings of the 18th ACM conference on Innovation and technology in computer science education, (291-296)
- Lo J, Wohlstadter E and Mesbah A Imagen Proceedings of the 22nd international conference on World Wide Web, (815-826)
- Cooper G, Guha A, Krishnamurthi S, McCarthy J and Findler R Teaching garbage collection without implementing compiler or interpreters Proceeding of the 44th ACM technical symposium on Computer science education, (385-390)
- Fishwick P A tutorial on simulation modeling in six dimensions Proceedings of the Winter Simulation Conference, (1-12)
- Berges M and Hubwieser P Towards an overview map of object-oriented programming and design Proceedings of the 12th Koli Calling International Conference on Computing Education Research, (135-136)
- Schachman T Alternative programming interfaces for alternative programmers Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software, (1-10)
- Sperber M and Crestani M Form over function Proceedings of the 2012 Annual Workshop on Scheme and Functional Programming, (81-89)
- Chor B and Hod R CS1001.py Proceedings of the 17th ACM annual conference on Innovation and technology in computer science education, (215-220)
- Rohloff J and Lorenzen F Call-by-Value Semantics for Mutually Recursive First-Class Modules Proceedings of the 2012 Conference on Trends in Functional Programming - Volume 7829, (101-116)
- Rose L, Matragkas N, Kolovos D and Paige R A feature model for model-to-text transformation languages Proceedings of the 4th International Workshop on Modeling in Software Engineering, (57-63)
- Timbermont S, De Roover C and D'Hondt T Constructing customized interpreters from reusable evaluators using GAME Proceedings of the 11th international conference on Software Composition, (97-113)
- Tirronen V and Isomöttönen V Making teaching of programming learning-oriented and learner-directed Proceedings of the 11th Koli Calling International Conference on Computing Education Research, (60-65)
- Oldenburg R Reification and symbolization Proceedings of the 11th Koli Calling International Conference on Computing Education Research, (49-53)
- VanDrunen T The case for teaching functional programming in discrete math Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion, (81-86)
- Pyla H, Ribbens C and Varadarajan S Exploiting coarse-grain speculative parallelism Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications, (555-574)
- Pyla H, Ribbens C and Varadarajan S (2011). Exploiting coarse-grain speculative parallelism, ACM SIGPLAN Notices, 46:10, (555-574), Online publication date: 18-Oct-2011.
- Jay B and Palsberg J Typed self-interpretation by pattern matching Proceedings of the 16th ACM SIGPLAN international conference on Functional programming, (247-258)
- Jay B and Palsberg J (2011). Typed self-interpretation by pattern matching, ACM SIGPLAN Notices, 46:9, (247-258), Online publication date: 18-Sep-2011.
- Steunebrink B and Schmidhuber J A family of Gödel machine implementations Proceedings of the 4th international conference on Artificial general intelligence, (275-280)
- Yamamoto N, Shiroma S and Nishioka T Tactics choice behaviors represented in a programming language in the map tracing problems Proceedings of the 6th international conference on Universal access in human-computer interaction: users diversity - Volume Part II, (410-419)
- Garcia D, Hutton M, Lemon E and Paley J Rediscovering the passion, beauty, joy, and awe Proceedings of the 42nd ACM technical symposium on Computer science education, (613-614)
- Barr V and Stephenson C (2011). Bringing computational thinking to K-12, ACM Inroads, 2:1, (48-54), Online publication date: 25-Feb-2011.
- Grady M (2010). Functional programming using JavaScript and the HTML5 canvas element, Journal of Computing Sciences in Colleges, 26:2, (97-105), Online publication date: 1-Dec-2010.
- Lee E and Seshia S An introductory textbook on cyber-physical systems Proceedings of the 2010 Workshop on Embedded Systems Education, (1-6)
- Stanley-Marbell P Sal/Svm Virtual Machines and Intermediate Languages, (1-10)
- Herzeel C and Costanza P (2010). Dynamic parallelization of recursive code, ACM SIGPLAN Notices, 45:10, (377-396), Online publication date: 17-Oct-2010.
- Herzeel C and Costanza P Dynamic parallelization of recursive code Proceedings of the ACM international conference on Object oriented programming systems languages and applications, (377-396)
- Høst E and Østvold B Canonical method names for Java Proceedings of the Third international conference on Software language engineering, (226-245)
- Crestani M and Sperber M (2010). Experience report, ACM SIGPLAN Notices, 45:9, (229-234), Online publication date: 27-Sep-2010.
- Crestani M and Sperber M Experience report Proceedings of the 15th ACM SIGPLAN international conference on Functional programming, (229-234)
- Du N, Li Q and Liang Y Actor Petri net model for scientific workflows Proceedings of the 4th International Conference on Uniquitous Information Management and Communication, (1-6)
- von Ammon R, Ertlmaier T, Etzion O, Kofman A and Paulus T Integrating complex events for collaborating and dynamically changing business processes Proceedings of the 2009 international conference on Service-oriented computing, (370-384)
- Wingrave C, Laviola J and Bowman D (2009). A natural, tiered and executable UIDL for 3D user interfaces based on Concept-Oriented Design, ACM Transactions on Computer-Human Interaction, 16:4, (1-36), Online publication date: 1-Nov-2009.
- Tellioğlu H Model-based collaborative design in engineering Proceedings of the 6th international conference on Cooperative design, visualization, and engineering, (85-92)
- Sperber M, Dybvig R, Flatt M, Van straaten A, Findler R and Matthews J (2009). Revised6 report on the algorithmic language scheme, Journal of Functional Programming, 19:S1, (1-301), Online publication date: 1-Aug-2009.
- Yamamoto N, Nishioka T and Shiroma S Building Problem Spaces for Deaf and Hard of Hearing Students' Spatial Cognition in a Programming Language Proceedings of the 5th International Conference on Universal Access in Human-Computer Interaction. Part III: Applications and Services, (167-175)
- Boute R (2009). Teaching and practicing computer science at the university level, ACM SIGCSE Bulletin, 41:2, (24-30), Online publication date: 25-Jun-2009.
- Brown R, Davis J, Rebelsky S and Harvey B (2009). Whither scheme?, ACM SIGCSE Bulletin, 41:1, (551-552), Online publication date: 4-Mar-2009.
- Lu J and Fletcher G (2009). Thinking about computational thinking, ACM SIGCSE Bulletin, 41:1, (260-264), Online publication date: 4-Mar-2009.
- Brown R, Davis J, Rebelsky S and Harvey B Whither scheme? Proceedings of the 40th ACM technical symposium on Computer science education, (551-552)
- Lu J and Fletcher G Thinking about computational thinking Proceedings of the 40th ACM technical symposium on Computer science education, (260-264)
- Lopez-Fraguas F, Rodriguez-Hortala J and Sanchez-Hernandez J A flexible framework for programming with non-deterministicfunctions Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation, (91-100)
- Clinger W Scheme@33 Celebrating the 50th Anniversary of Lisp, (1-5)
- Ragde P The chilling descent Proceedings of the 2008 international workshop on Functional and declarative programming in education, (13-20)
- Bieniusa A, Degen M, Heidegger P, Thiemann P, Wehr S, Gasbichler M, Sperber M, Crestani M, Klaeren H and Knauel E Htdp and dmda in the battlefield Proceedings of the 2008 international workshop on Functional and declarative programming in education, (1-12)
- Elumeze N and Eisenberg M ButtonSchemer Proceedings of the 10th international conference on Human computer interaction with mobile devices and services, (323-326)
- Lindholm T and Kangasharju J How to edit gigabyte XML files on a mobile phone with XAS, RefTrees, and RAXS Proceedings of the 5th Annual International Conference on Mobile and Ubiquitous Systems: Computing, Networking, and Services, (1-10)
- Ortiz A Language design and implementation using ruby and the interpreter pattern Proceedings of the 39th SIGCSE technical symposium on Computer science education, (48-52)
- Ortiz A (2008). Language design and implementation using ruby and the interpreter pattern, ACM SIGCSE Bulletin, 40:1, (48-52), Online publication date: 29-Feb-2008.
- Pears A, Seidman S, Malmi L, Mannila L, Adams E, Bennedsen J, Devlin M and Paterson J A survey of literature on the teaching of introductory programming Working group reports on ITiCSE on Innovation and technology in computer science education, (204-223)
- Pears A, Seidman S, Malmi L, Mannila L, Adams E, Bennedsen J, Devlin M and Paterson J (2007). A survey of literature on the teaching of introductory programming, ACM SIGCSE Bulletin, 39:4, (204-223), Online publication date: 1-Dec-2007.
- Radul A Report on the probabilistic language scheme Proceedings of the 2007 symposium on Dynamic languages, (2-10)
- Høst E Understanding programmer language Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion, (943-944)
- Goldwasser M and Letscher D Teaching strategies for reinforcing structural recursion with lists Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion, (889-896)
- Loddo J and Saiu L Status report Proceedings of the 2007 workshop on Workshop on ML, (59-70)
- Moskovsky A, Roganov V and Abramov S Parallelism granules aggregation with the T-system Proceedings of the 9th international conference on Parallel Computing Technologies, (293-302)
- Eden A (2007). Three Paradigms of Computer Science, Minds and Machines, 17:2, (135-167), Online publication date: 1-Jul-2007.
- Stolin Y and Hazzan O (2007). Students' understanding of computer science soft ideas, ACM SIGCSE Bulletin, 39:2, (65-69), Online publication date: 1-Jun-2007.
- Eisenberg A and Kiczales G Expressive programs through presentation extension Proceedings of the 6th international conference on Aspect-oriented software development, (73-84)
- Feinberg D (2007). A visual object-oriented programming environment, ACM SIGCSE Bulletin, 39:1, (140-144), Online publication date: 7-Mar-2007.
- Turner E, Albert E, Turner R and Latour L (2007). Retaining majors through the introductory sequence, ACM SIGCSE Bulletin, 39:1, (24-28), Online publication date: 7-Mar-2007.
- Feinberg D A visual object-oriented programming environment Proceedings of the 38th SIGCSE technical symposium on Computer science education, (140-144)
- Turner E, Albert E, Turner R and Latour L Retaining majors through the introductory sequence Proceedings of the 38th SIGCSE technical symposium on Computer science education, (24-28)
- Flatt M, Findler R and Felleisen M Scheme with classes, mixins, and traits Proceedings of the 4th Asian conference on Programming Languages and Systems, (270-289)
- Howard B (2006). Design of a simple functional programming language and environment for CS2, Journal of Computing Sciences in Colleges, 22:1, (98-105), Online publication date: 1-Oct-2006.
- Dybvig R The development of Chez Scheme Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming, (1-12)
- Dybvig R (2006). The development of Chez Scheme, ACM SIGPLAN Notices, 41:9, (1-12), Online publication date: 16-Sep-2006.
- Koile K and Singer D Improving learning in CS1 via tablet-PC-based in-class assessment Proceedings of the second international workshop on Computing education research, (119-126)
- Carette J (2006). Gaussian elimination, Science of Computer Programming, 62:1, (3-24), Online publication date: 1-Sep-2006.
- Gruntz D Infinite streams in Java Proceedings of the 4th international symposium on Principles and practice of programming in Java, (182-187)
- Martínez-Ortiz I, Moreno-Ger P, Sierra J and Manjón B
Proceedings of the 5th international conference on Advances in Web Based Learning, (134-145) - Horswill I and Novak M (2006). Evolving the Artist-Technologist, Computer, 39:6, (62-69), Online publication date: 1-Jun-2006.
- Yoshida T Supporting software design based on comments in codes Proceedings of the 5th WSEAS international conference on Applied computer science, (918-923)
- Pedroni M and Meyer B (2006). The inverted curriculum in practice, ACM SIGCSE Bulletin, 38:1, (481-485), Online publication date: 31-Mar-2006.
- Pedroni M and Meyer B The inverted curriculum in practice Proceedings of the 37th SIGCSE technical symposium on Computer science education, (481-485)
- Shu C, Yu H, Xiao L, Liu H and Xu Z Towards an end-user programming environment for the grid Proceedings of the 4th international conference on Grid and Cooperative Computing, (345-356)
- Barzilay E and Clements J Laziness without all the hard work Proceedings of the 2005 workshop on Functional and declarative programming in education, (9-13)
- Velázquez-Iturbide J (2005). A programming languages course for freshmen, ACM SIGCSE Bulletin, 37:3, (271-275), Online publication date: 1-Sep-2005.
- Sierra J, Moreno-Ger P, Martínez-Ortiz I, López-Moratalla J and Fernández-Manjón B Building learning management systems using IMS standards Proceedings of the 4th international conference on Advances in Web-Based Learning, (144-156)
- Velázquez-Iturbide J A programming languages course for freshmen Proceedings of the 10th annual SIGCSE conference on Innovation and technology in computer science education, (271-275)
- Denny M and Franklin M Predicate result range caching for continuous queries Proceedings of the 2005 ACM SIGMOD international conference on Management of data, (646-657)
- Lewis T and Smith W (2005). The computer science debate, ACM SIGCSE Bulletin, 37:2, (80-84), Online publication date: 1-Jun-2005.
- Denning P (2005). Is computer science science?, Communications of the ACM, 48:4, (27-31), Online publication date: 1-Apr-2005.
- Hauptman A and Sipper M GP-EndChess Proceedings of the 8th European conference on Genetic Programming, (120-131)
- Dougherty J and Wonnacott D Use and assessment of a rigorous approach to CS1 Proceedings of the 36th SIGCSE technical symposium on Computer science education, (251-255)
- Dougherty J and Wonnacott D (2005). Use and assessment of a rigorous approach to CS1, ACM SIGCSE Bulletin, 37:1, (251-255), Online publication date: 23-Feb-2005.
- Kiselyov O, Swadi K and Taha W A methodology for generating verified combinatorial circuits Proceedings of the 4th ACM international conference on Embedded software, (249-258)
- Neergaard P and Mairson H Types, potency, and idempotency Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, (138-149)
- Wand M and Vaillancourt D Relating models of backtracking Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, (54-65)
- Herman D and Meunier P Improving the static analysis of embedded languages via partial evaluation Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, (16-27)
- Neergaard P and Mairson H (2004). Types, potency, and idempotency, ACM SIGPLAN Notices, 39:9, (138-149), Online publication date: 19-Sep-2004.
- Wand M and Vaillancourt D (2004). Relating models of backtracking, ACM SIGPLAN Notices, 39:9, (54-65), Online publication date: 19-Sep-2004.
- Herman D and Meunier P (2004). Improving the static analysis of embedded languages via partial evaluation, ACM SIGPLAN Notices, 39:9, (16-27), Online publication date: 19-Sep-2004.
- Liang C (2004). Programming language concepts and Perl, Journal of Computing Sciences in Colleges, 19:5, (193-204), Online publication date: 1-May-2004.
- Rajsbaum S and Viso E A case for OO -- Java -- in teaching algorithm analysis Proceedings of the 2nd international conference on Principles and practice of programming in Java, (79-83)
- Hazzan O (2003). Application of computer science ideas to the presentation of mathematical theorems and proofs, ACM SIGCSE Bulletin, 35:2, (38-42), Online publication date: 1-Jun-2003.
- Leidner J Current issues in software engineering for Natural Language Processing Proceedings of the HLT-NAACL 2003 workshop on Software engineering and architecture of language technology systems - Volume 8, (45-50)
- Fuqua P, Slagle J and Gini M List processing Encyclopedia of Computer Science, (992-1000)
- Fateman R and McCarthy J Lisp Encyclopedia of Computer Science, (991-992)
- Maessen J Eager Haskell Proceedings of the 2002 ACM SIGPLAN workshop on Haskell, (38-50)
- Lisovsky K (2002). XML Applications Development in Scheme, Programming and Computing Software, 28:4, (197-206), Online publication date: 1-Jul-2002.
- Turbak F and Wells J Cycle therapy Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming, (137-149)
- Sooriamurthi R (2001). Problems in comprehending recursion and suggested solutions, ACM SIGCSE Bulletin, 33:3, (25-28), Online publication date: 1-Sep-2001.
- Sooriamurthi R Problems in comprehending recursion and suggested solutions Proceedings of the 6th annual conference on Innovation and technology in computer science education, (25-28)
- Deugo D, Oppacher F, Ashfield B and Weiss M Communication as a Means to Differentiate Objects, Components and Agents Proceedings of the Technology of Object-Oriented Languages and Systems
- Molina C, González A and Tubella J Dynamic removal of redundant computations Proceedings of the 13th international conference on Supercomputing, (474-481)
- Siddiqi J, Morrey I, Hibberd R and Buckberry G (1999). Understanding and exploring formal specifications, Annals of Software Engineering, 6:1-4, (411-432), Online publication date: 1-Apr-1999.
- Bruce K Formal semantics and interpreters in a principles of programming languages course The proceedings of the thirtieth SIGCSE technical symposium on Computer science education, (331-335)
- Bruce K (1999). Formal semantics and interpreters in a principles of programming languages course, ACM SIGCSE Bulletin, 31:1, (331-335), Online publication date: 1-Mar-1999.
- Abelson H, Dybvig R, Haynes C, Rozas G, Adams Iv N, Friedman D, Kohlbecker E, Steele G, Bartley D, Halstead R, Oxley D, Sussman G, Brooks G, Hanson C, Pitman K and Wand M (1998). Revised Report on the Algorithmic Language Scheme, Higher-Order and Symbolic Computation, 11:1, (7-105), Online publication date: 1-Aug-1998.
- Thiemann P Aspects of the PGG System Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School, (412-432)
- Long T, Weide B, Bucci P, Gibson D, Hollingsworth J, Sitaraman M and Edwards S (1998). Providing intellectual focus to CS1/CS2, ACM SIGCSE Bulletin, 30:1, (252-256), Online publication date: 1-Mar-1998.
- Long T, Weide B, Bucci P, Gibson D, Hollingsworth J, Sitaraman M and Edwards S Providing intellectual focus to CS1/CS2 Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education, (252-256)
- Knudsen J and Madsen O (1996). Using object-orientation as a common basis for system development education, ACM SIGPLAN Notices, 31:12, (52-62), Online publication date: 1-Dec-1996.
- Hartel P and Hertzberger L (1995). Paradigms and laboratories in the core computer science curriculum, ACM SIGCSE Bulletin, 27:4, (13-20), Online publication date: 1-Dec-1995.
- Gal-Ezer J, Beeri C, Harel D and Yehudai A (1995). A High School Program in Computer Science, Computer, 28:10, (73-80), Online publication date: 1-Oct-1995.
- Reinfelds J (1995). A three paradigm first course for CS majors, ACM SIGCSE Bulletin, 27:1, (223-227), Online publication date: 15-Mar-1995.
- Astrachan O and Reed D (1995). AAA and CS 1, ACM SIGCSE Bulletin, 27:1, (1-5), Online publication date: 15-Mar-1995.
- Reinfelds J A three paradigm first course for CS majors Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education, (223-227)
- Astrachan O and Reed D AAA and CS 1 Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education, (1-5)
- Konstam A and Howland J (1994). Teaching computer science principles to liberal arts students using Scheme, ACM SIGCSE Bulletin, 26:4, (29-ff.), Online publication date: 1-Dec-1994.
- Mardin A (1994). Neural Network Learning and Expert Systems, AI Communications, 7:3-4, (238-240), Online publication date: 1-Jul-1994.
- Meter G and Miller P (1994). Engaging students and teaching modern concepts, ACM SIGCSE Bulletin, 26:1, (329-333), Online publication date: 12-Mar-1994.
- Tucker A and Wegner P (1994). New directions in the introductory computer science curriculum, ACM SIGCSE Bulletin, 26:1, (11-15), Online publication date: 12-Mar-1994.
- Meter G and Miller P Engaging students and teaching modern concepts Proceedings of the twenty-fifth SIGCSE symposium on Computer science education, (329-333)
- Tucker A and Wegner P New directions in the introductory computer science curriculum Proceedings of the twenty-fifth SIGCSE symposium on Computer science education, (11-15)
- Buneman P, Libkin L, Suciu D, Tannen V and Wong L (1994). Comprehension syntax, ACM SIGMOD Record, 23:1, (87-96), Online publication date: 1-Mar-1994.
- de Jong P Methods for organizational development Proceedings of the conference on Organizational computing systems, (250-257)
- Konstam A and Howland J Scheme as an expository language for liberal arts students Proceedings of the third international conference on Lisp users and vendors, (54-58)
- Konstam A and Howland J (1993). Scheme as an expository language for liberal arts students, ACM SIGPLAN Lisp Pointers, VI:3, (54-58), Online publication date: 1-Jul-1993.
- Prather R (1992). Computer science in an undergraduate liberal arts and sciences setting, ACM SIGCSE Bulletin, 24:2, (59-64), Online publication date: 1-Jun-1992.
- Sinha A and Vessey I (1992). Cognitive Fit, IEEE Transactions on Software Engineering, 18:5, (368-379), Online publication date: 1-May-1992.
- Rozas G Taming the Y operator Proceedings of the 1992 ACM conference on LISP and functional programming, (226-234)
- Tung S Interactive modular programming in Scheme Proceedings of the 1992 ACM conference on LISP and functional programming, (86-95)
- Rozas G (1992). Taming the Y operator, ACM SIGPLAN Lisp Pointers, V:1, (226-234), Online publication date: 1-Jan-1992.
- Tung S (1992). Interactive modular programming in Scheme, ACM SIGPLAN Lisp Pointers, V:1, (86-95), Online publication date: 1-Jan-1992.
- Sánchez-Calle A and Velázquez-Iturbide J (1991). Fun, rigour and pragmatism in functional programming, ACM SIGCSE Bulletin, 23:3, (11-16), Online publication date: 1-Sep-1991.
- Abelson H, Dybvig R, Haynes C, Rozas G, Adams N, Friedman D, Kohlbecker E, Steele G, Bartley D, Halstead R, Oxley D, Sussman G, Brooks G, Hanson C, Pitman K, Wand M, Clinger W and Rees J (1991). Revised4 report on the algorithmic language scheme, ACM SIGPLAN Lisp Pointers, IV:3, (1-55), Online publication date: 1-Jul-1991.
- de Jong P (1991). Concurrent organizational objects, ACM SIGPLAN OOPS Messenger, 2:2, (40-44), Online publication date: 1-Apr-1991.
- de Jong P Concurrent organizational objects Proceedings of the workshop on Object-based concurrent programming, (40-44)
- Lapalme G (1991). Implementation of a “Lisp comprehension” macro, ACM SIGPLAN Lisp Pointers, IV:2, (16-23), Online publication date: 1-Apr-1991.
- Haynes C (1990). Standard-output, ACM SIGPLAN Lisp Pointers, III:2-4, (23-26), Online publication date: 1-Apr-1990.
- Mairson H Deciding ML typability is complete for deterministic exponential time Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (382-401)
- Zweben M and Eskey M Constraint satisfaction with delayed evaluation Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2, (875-880)
- Roylance G Expressing mathematical subroutines constructively Proceedings of the 1988 ACM conference on LISP and functional programming, (8-13)
- Ungar D and Smith R (1987). Self: The power of simplicity, ACM SIGPLAN Notices, 22:12, (227-242), Online publication date: 1-Dec-1987.
- Ungar D and Smith R Self: The power of simplicity Conference proceedings on Object-oriented programming systems, languages and applications, (227-242)
- Clinger W (1987). The scheme of things, ACM SIGPLAN Lisp Pointers, 1:4, (23-26), Online publication date: 1-Oct-1987.
- O'Bagy J and Griswold R (1987). A recursive interpreter for the Icon programming language, ACM SIGPLAN Notices, 22:7, (138-149), Online publication date: 1-Jul-1987.
- Shebs S and Kessler R (1987). Automatic design and implementation of language data types, ACM SIGPLAN Notices, 22:7, (26-37), Online publication date: 1-Jul-1987.
- O'Bagy J and Griswold R A recursive interpreter for the Icon programming language Papers of the Symposium on Interpreters and interpretive techniques, (138-149)
- Shebs S and Kessler R Automatic design and implementation of language data types Papers of the Symposium on Interpreters and interpretive techniques, (26-37)
- Rees J and Clinger W (1986). Revised3 report on the algorithmic language scheme, ACM SIGPLAN Notices, 21:12, (37-79), Online publication date: 1-Dec-1986.
- Thatte S Persistent memory Proceedings on the 1986 international workshop on Object-oriented database systems, (148-159)
- Jouvelot P (1986). Designing new languages or new language manipulation systems using ML, ACM SIGPLAN Notices, 21:8, (40-52), Online publication date: 1-Aug-1986.
- Halstead R Implementation of multilisp Proceedings of the 1984 ACM Symposium on LISP and functional programming, (9-17)
Index Terms
- Structure and Interpretation of Computer Programs
Please enable JavaScript to view thecomments powered by Disqus.