Skip header Section
Skip Bibliometrics Section
Structure and interpretation of computer programsApril 1985
Abstract
No abstract available.
Cited By
- Xiao T and Frank M (2023). RelaxNet, Journal of Computational Physics, 490:C, Online publication date: 1-Oct-2023.
- Reichl J, Hanenberg S and Gruhn V Does the Stream API Benefit from Special Debugging Facilities? A Controlled Experiment on Loops and Streams with Specific Debuggers Proceedings of the 45th International Conference on Software Engineering, (576-588)
Lonati V, Brodnik A, Bell T, Csizmadia A, De Mol L, Hickman H, Keane T, Mirolo C and Monga M What We Talk About When We Talk About Programs Proceedings of the 2022 Working Group Reports on Innovation and Technology in Computer Science Education, (117-164)- Edwards J and Petricek T Interaction vs. Abstraction: Managed Copy and Paste Proceedings of the 1st ACM SIGPLAN International Workshop on Programming Abstractions and Interactive Notations, Tools, and Environments, (11-19)
- Martínez A A Language Based on Two Relations between Symbols Proceedings of the 2022 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, (95-111)
- Clements J and Krishnamurthi S Towards a Notional Machine for Runtime Stacks and Scope: When Stacks Don’t Stack Up Proceedings of the 2022 ACM Conference on International Computing Education Research - Volume 1, (206-222)
- Mehlhorn N and Hanenberg S Imperative versus declarative collection processing Proceedings of the 44th International Conference on Software Engineering, (1157-1168)
- Bartoszuk M and Gagolewski M (2021). T-norms or t-conorms? How to aggregate similarity degrees for plagiarism detection, Knowledge-Based Systems, 231:C, Online publication date: 14-Nov-2021.
- Salem L Angelic and demonic visitation: school memories Proceedings of the 2021 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, (145-148)
- Anderson B, Henz M and Tee H Ruggedizing CS1 robotics: tools and approaches for online teaching Proceedings of the 2021 ACM SIGPLAN International Symposium on SPLASH-E, (82-86)
- Clester I and Freeman J Composing the Network with Streams Proceedings of the 16th International Audio Mostly Conference, (196-199)
- Krishnamurthi S and Fisler K Developing Behavioral Concepts of Higher-Order Functions Proceedings of the 17th ACM Conference on International Computing Education Research, (306-318)
- Lin S and Beling P A Deep Reinforcement Learning Framework for Optimal Trade Execution Machine Learning and Knowledge Discovery in Databases. Applied Data Science and Demo Track, (223-240)
- Basman A, Lewis C and Clark C The open authorial principle: supporting networks of authors in creating externalisable designs Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, (29-43)
- Abramatic J, Di Cosmo R and Zacchiroli S (2018). Building the universal archive of source code, Communications of the ACM, 61:10, (29-31), Online publication date: 26-Sep-2018.
- Videla A Lector in Codigo or the role of the reader Companion Proceedings of the 2nd International Conference on the Art, Science, and Engineering of Programming, (180-186)
- 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.
- Kruck B, Pape T, Felgentreff T and Hirschfeld R Crossing abstraction barriers when debugging in dynamic languages Proceedings of the Symposium on Applied Computing, (1498-1504)
- Broniatowski D (2017). Flexibility Due to Abstraction and Decomposition, Systems Engineering, 20:2, (98-117), Online publication date: 1-Mar-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)
- Boechat P, Dokter M, Kenzel M, Seidel H, Schmalstieg D and Steinberger M (2016). Representing and scheduling procedural generation using operator graphs, ACM Transactions on Graphics, 35:6, (1-12), Online publication date: 11-Nov-2016.
- 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)
- Brown M and Palsberg J (2016). Breaking through the normalization barrier: a self-interpreter for f-omega, ACM SIGPLAN Notices, 51:1, (5-17), Online publication date: 8-Apr-2016.
- Brown M and Palsberg J Breaking through the normalization barrier: a self-interpreter for f-omega Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, (5-17)
- 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.
- Withgott M What do Objects Mean? Proceedings of the Ninth International Conference on Tangible, Embedded, and Embodied Interaction, (5-12)
- 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.
- Ramsey N (2014). On teaching *how to design programs*, ACM SIGPLAN Notices, 49:9, (153-166), Online publication date: 26-Nov-2014.
- Ramsey N On teaching *how to design programs* Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, (153-166)
- Miller H, Haller P, Rytz L and Odersky M Functional programming for all! scaling a MOOC for students and professionals alike Companion Proceedings of the 36th International Conference on Software Engineering, (256-263)
- 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)
- DeNero J and Martinis S Teaching composition quality at scale Proceedings of the 45th ACM technical symposium on Computer science education, (421-426)
- Pereira Da Silva J and Freitas A Towards an Approximative Ontology-Agnostic Approach for Logic Programs Proceedings of the 8th International Symposium on Foundations of Information and Knowledge Systems - Volume 8367, (415-432)
- 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)
- Chang S Laziness by need Proceedings of the 22nd European conference on Programming Languages and Systems, (81-100)
- 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)
- Nørmark K, Thomsen L and Thomsen B (2012). Object-oriented programming with gradual abstraction, ACM SIGPLAN Notices, 48:2, (41-52), Online publication date: 23-Jan-2013.
- Nørmark K, Thomsen L and Thomsen B Object-oriented programming with gradual abstraction Proceedings of the 8th symposium on Dynamic languages, (41-52)
- Anders T and Miranda E (2011). Constraint programming systems for modeling music theories and composition, ACM Computing Surveys, 43:4, (1-38), Online publication date: 1-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.
- Bhatt M, Lee J and Schultz C CLP(QS) Proceedings of the 10th international conference on Spatial information theory, (210-230)
- Eden A (2011). Some Philosophical Issues in Computer Science, Minds and Machines, 21:2, (123-133), Online publication date: 1-May-2011.
- Wang S, Liang Y, Kuo T and Mak W Power-driven flip-flop merging and relocation Proceedings of the 2011 international symposium on Physical design, (107-114)
- Barr V and Stephenson C (2011). Bringing computational thinking to K-12, ACM Inroads, 2:1, (48-54), Online publication date: 25-Feb-2011.
- Verwaest T, Bruni C, Gurtner D, Lienhard A and Niestrasz O (2010). Pinocchio, ACM SIGPLAN Notices, 45:10, (774-789), Online publication date: 17-Oct-2010.
- Verwaest T, Bruni C, Gurtner D, Lienhard A and Niestrasz O Pinocchio Proceedings of the ACM international conference on Object oriented programming systems languages and applications, (774-789)
- McCreight A, Chevalier T and Tolmach A (2010). A certified framework for compiling and executing garbage-collected languages, ACM SIGPLAN Notices, 45:9, (273-284), Online publication date: 27-Sep-2010.
- McCreight A, Chevalier T and Tolmach A A certified framework for compiling and executing garbage-collected languages Proceedings of the 15th ACM SIGPLAN international conference on Functional programming, (273-284)
- Grzanek K and Cader A Protrace Proceedings of the 10th international conference on Artifical intelligence and soft computing: Part II, (468-475)
- Isbell C, Stein L, Cutler R, Forbes J, Fraser L, Impagliazzo J, Proulx V, Russ S, Thomas R and Xu Y (2010). (Re)defining computing curricula by (re)defining computing, ACM SIGCSE Bulletin, 41:4, (195-207), Online publication date: 18-Jan-2010.
- 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)
- Fisher D and Shivers O (2008). Building language towers with ziggurat, Journal of Functional Programming, 18:5-6, (707-780), Online publication date: 1-Sep-2008.
- Sierra J, Fernández-Manjón B and Fernández-Valmayor A (2008). A language-driven approach for the design of interactive applications, Interacting with Computers, 20:1, (112-127), Online publication date: 1-Jan-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.
- Millet P and Heudin J Web Mining in the EVA Intelligent Agent Architecture Proceedings of the 2007 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Workshops, (368-371)
- Radul A Report on the probabilistic language scheme Proceedings of the 2007 symposium on Dynamic languages, (2-10)
- Heudin J Evolutionary virtual agent at an exhibition Proceedings of the 13th international conference on Virtual systems and multimedia, (154-165)
- Feinberg D (2007). A visual object-oriented programming environment, ACM SIGCSE Bulletin, 39:1, (140-144), 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)
- 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)
- 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.
- Horswill I and Novak M (2006). Evolving the Artist-Technologist, Computer, 39:6, (62-69), Online publication date: 1-Jun-2006.
- Biernacki D, Danvy O and Shan C (2006). On the static and dynamic extents of delimited continuations, Science of Computer Programming, 60:3, (274-297), Online publication date: 1-May-2006.
- Agapitos A and Lucas S Learning recursive functions with object oriented genetic programming Proceedings of the 9th European conference on Genetic Programming, (166-177)
- 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)
- Berghammer R and Huch F From functional to object-oriented programming Proceedings of the 2005 workshop on Functional and declarative programming in education, (3-8)
- Hazzan O and Tomayko J (2005). Reflection and Abstraction in Learning Software Engineering's Human Aspects, Computer, 38:6, (39-45), Online publication date: 1-Jun-2005.
- Leitão A (2004). Detection of Redundant Code Using RD, Software Quality Journal, 12:4, (361-382), Online publication date: 1-Dec-2004.
- 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.
- Kranz D, Kelsey R, Rees J, Hudak P, Philbin J and Adams N (2004). Orbit, ACM SIGPLAN Notices, 39:4, (175-191), Online publication date: 1-Apr-2004.
- Hickey T Scheme-based web programming as a basis for a CS0 curriculum Proceedings of the 35th SIGCSE technical symposium on Computer science education, (353-357)
- Hickey T (2004). Scheme-based web programming as a basis for a CS0 curriculum, ACM SIGCSE Bulletin, 36:1, (353-357), Online publication date: 1-Mar-2004.
- Spinellis D (2003). Global Analysis and Transformations in Preprocessed Languages, IEEE Transactions on Software Engineering, 29:11, (1019-1030), Online publication date: 1-Nov-2003.
- Gómez G and Liu Y (2002). Automatic time-bound analysis for a higher-order language, ACM SIGPLAN Notices, 37:3, (75-86), Online publication date: 1-Mar-2002.
- Gómez G and Liu Y Automatic time-bound analysis for a higher-order language Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation, (75-86)
- Liu Y and Gómez G (2001). Automatic Accurate Cost-Bound Analysis for High-Level Languages, IEEE Transactions on Computers, 50:12, (1295-1309), Online publication date: 1-Dec-2001.
- Mello P, Milano M, Gavanelli M, Lamma E, Piccardi M and Cucchiara R (2001). From eager to lazy constrained data acquisition: A general framework, New Generation Computing, 19:4, (339-367), Online publication date: 1-Dec-2001.
- Saikkonen R, Malmi L and Korhonen A (2001). Fully automatic assessment of programming exercises, ACM SIGCSE Bulletin, 33:3, (133-136), Online publication date: 1-Sep-2001.
- Saikkonen R, Malmi L and Korhonen A Fully automatic assessment of programming exercises Proceedings of the 6th annual conference on Innovation and technology in computer science education, (133-136)
- Landauer C and Bellman K Self-modeling systems Proceedings of the 2nd international conference on Self-adaptive software: applications, (238-256)
- Sato M, Sakurai T and Burstall R (2001). Explicit Environments, Fundamenta Informaticae, 45:1-2, (79-115), Online publication date: 1-Jan-2001.
- Sato M, Sakurai T and Burstall R (2001). Explicit Environments, Fundamenta Informaticae, 45:1-2, (79-115), Online publication date: 1-Jan-2001.
- Niwa J, Matsumoto T and Hiraki K Comparative study of page-based and segment-based software DSM through compiler optimization Proceedings of the 14th international conference on Supercomputing, (284-295)
- Nguyen D and Wong S Design patterns for lazy evaluation Proceedings of the thirty-first SIGCSE technical symposium on Computer science education, (21-25)
- Nguyen D and Wong S (2000). Design patterns for lazy evaluation, ACM SIGCSE Bulletin, 32:1, (21-25), Online publication date: 1-Mar-2000.
- Balmas F Query by outlines Proceedings of the 1999 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, (86-94)
- Balmas F (1999). Query by outlines, ACM SIGSOFT Software Engineering Notes, 24:5, (86-94), Online publication date: 1-Sep-1999.
- Gordon A, Hankin P and Lassen S (1999). Compilation and equivalence of imperative objects, Journal of Functional Programming, 9:4, (373-426), Online publication date: 1-Jul-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.
- Citron D, Feitelson D and Rudolph L (1998). Accelerating multi-media processing by implementing memoing in multiplication and division units, ACM SIGOPS Operating Systems Review, 32:5, (252-261), Online publication date: 1-Dec-1998.
- McDonald J, Deroure D and Michaelides D (1998). Exact tests for two-way symmetriccontingency tables, Statistics and Computing, 8:4, (391-399), Online publication date: 1-Dec-1998.
- Citron D, Feitelson D and Rudolph L (1998). Accelerating multi-media processing by implementing memoing in multiplication and division units, ACM SIGPLAN Notices, 33:11, (252-261), Online publication date: 1-Nov-1998.
- Citron D, Feitelson D and Rudolph L Accelerating multi-media processing by implementing memoing in multiplication and division units Proceedings of the eighth international conference on Architectural support for programming languages and operating systems, (252-261)
- Gal-Ezer J and Harel D (1998). What (else) should CS educators know?, Communications of the ACM, 41:9, (77-84), Online publication date: 1-Sep-1998.
- Haridi S, Van Roy P, Brand P and Schulte C (1998). Programming languages for distributed applications, New Generation Computing, 16:3, (223-261), Online publication date: 1-Sep-1998.
- Teller S, Porter B, Tornow N and Boyd N Distributed development and teaching of algorithmic concepts ACM SIGGRAPH 98 Conference abstracts and applications, (94-101)
- Tung S (1998). Visualizing Evaluation in Scheme, Lisp and Symbolic Computation, 10:3, (201-222), Online publication date: 1-May-1998.
- 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)
- Bogoiavlenski I, Clear A, Davies G, Flack H, Myers J, Rasala R, Goldweber M and Impagliazzo J (1997). Historical perspectives on the computing curriculum, ACM SIGCUE Outlook, 25:4, (94-111), Online publication date: 1-Oct-1997.
- Kay D (1996). Bandwagons considered harmful, or the past as prologue in curriculum change, ACM SIGCSE Bulletin, 28:4, (55-58), Online publication date: 1-Dec-1996.
- 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.
- Howland J Using J as expository language in the teaching of computer science to liberal arts students Proceedings of the conference on Designing the future, (55-62)
- Eisenberg M and DiBiase J Mathematical manipulatives as designed artifacts Proceedings of the 1996 international conference on Learning sciences, (44-51)
- Howland J (1996). Using J as expository language in the teaching of computer science to liberal arts students, ACM SIGAPL APL Quote Quad, 26:4, (55-62), Online publication date: 15-Jun-1996.
- Steele G and Gabriel R The evolution of Lisp History of programming languages---II, (233-330)
- Kesseler M A Schema-Based Approach to HTML Authoring Proceedings of the Fourth International Conference on World Wide Web, (619-631)
- 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.
- Johnson M (1995). Memoization in top-down parsing, Computational Linguistics, 21:3, (405-417), Online publication date: 1-Sep-1995.
- Hui R and Iverson K (1995). Representations of recursion, ACM SIGAPL APL Quote Quad, 25:4, (91-97), Online publication date: 8-Jun-1995.
- Hui R and Iverson K Representations of recursion Proceedings of the international conference on Applied programming languages, (91-97)
- Eisenberg M (1995). Programmable applications, ACM SIGCHI Bulletin, 27:2, (68-93), Online publication date: 1-Apr-1995.
- 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.
- 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.
- Berman A (1994). Does Scheme enhance an introductory programming course?, ACM SIGPLAN Notices, 29:2, (44-48), Online publication date: 1-Feb-1994.
- Halper M, Geller J and Perl Y Value propagation in object-oriented database part hierarchies Proceedings of the second international conference on Information and knowledge management, (606-614)
- de Jong P Methods for organizational development Proceedings of the conference on Organizational computing systems, (250-257)
- Baker H (1993). Equal rights for functional objects or, the more things change, the more they are the same, ACM SIGPLAN OOPS Messenger, 4:4, (2-27), Online publication date: 1-Oct-1993.
- 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.
- Roberts E Using C in CS1 Proceedings of the twenty-fourth SIGCSE technical symposium on Computer science education, (117-121)
- Manaris B and Pritchard J Constructing natural language interface applications to operating systems Proceedings of the 1993 ACM conference on Computer science, (425-432)
- Roberts E (1993). Using C in CS1, ACM SIGCSE Bulletin, 25:1, (117-121), Online publication date: 1-Mar-1993.
- Syang A and Syang Y Qualitative simulation Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice, (504-510)
- Trans K A symbolic simulation model of the organization of human procedural knowledge Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice, (482-489)
- Downing K (1993). Physiological applications of consistency-based diagnosis, Artificial Intelligence in Medicine, 5:1, (9-30), Online publication date: 1-Feb-1993.
- Wendelborn A and Garsden H Exploring the Stream Data Type in SISAL and Other Languages Proceedings of the IFIP WG10.3. Working Conference on Architectures and Compilation Techniques for Fine and Medium Grain Parallelism, (283-294)
- Mody R (1992). Functional programming is not self-modifying code, ACM SIGPLAN Notices, 27:11, (13-14), Online publication date: 1-Nov-1992.
- Yuen C (1992). Hamming numbers, lazy evaluation, and eager disposal, ACM SIGPLAN Notices, 27:8, (71-75), Online publication date: 1-Aug-1992.
- Downing K Consistency-based diagnosis in physiological domains Proceedings of the tenth national conference on Artificial intelligence, (558-563)
- 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.
- Colby G Maintaining legibility, structure, and style of information layout in dynamic display environments Posters and Short Talks of the 1992 SIGCHI Conference on Human Factors in Computing Systems, (73-74)
- Placer J (1992). Integrating destructive assignment and lazy evaluation in the multiparadigm language G-2, ACM SIGPLAN Notices, 27:2, (65-74), Online publication date: 1-Feb-1992.
- Jagannathan S and Philbin J A foundation for an efficient multi-threaded scheme system Proceedings of the 1992 ACM conference on LISP and functional programming, (345-357)
- 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)
- Jagannathan S and Philbin J (1992). A foundation for an efficient multi-threaded scheme system, ACM SIGPLAN Lisp Pointers, V:1, (345-357), Online publication date: 1-Jan-1992.
- 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.
- Leavens G (1991). Introduction to the literature on object-oriented design, programming, and languages, ACM SIGPLAN OOPS Messenger, 2:4, (40-53), Online publication date: 1-Oct-1991.
- 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.
- McNerney T (1991). Verifying the correctness of compiler transformations on basic blocks using abstract interpretation, ACM SIGPLAN Notices, 26:9, (106-115), 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.
- Aone C Resolution of collective-distributive ambiguity using model-based reasoning Proceedings of the 29th annual meeting on Association for Computational Linguistics, (1-8)
- Au W, Weise D and Seligman S Automatic generation of compiled simulations through program specialization Proceedings of the 28th ACM/IEEE Design Automation Conference, (205-210)
- McNerney T Verifying the correctness of compiler transformations on basic blocks using abstract interpretation Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, (106-115)
- 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.
- Annevelink J (1991). Database programming languages, ACM SIGMOD Record, 20:2, (318-327), Online publication date: 1-Apr-1991.
- Annevelink J Database programming languages Proceedings of the 1991 ACM SIGMOD international conference on Management of data, (318-327)
- Gries D (1991). Teaching calculation and discrimination, Communications of the ACM, 34:3, (44-55), Online publication date: 1-Mar-1991.
- Fitz M (1991). Book review: Introduction to Common Lisp by Taiichi Yuasa and Masami Hagiya (Academic Press, 1987) and Common Lisp Drill by Taiichi Yuasa (Academic Press, 1988); Both texts translated into English by Richard Weyhrauch and Yasuko Kitajima, ACM SIGART Bulletin, 2:2, (37-38), Online publication date: 1-Feb-1991.
- Coyle C and Crogono P (1991). Building abstract iterators using continuations, ACM SIGPLAN Notices, 26:2, (17-24), Online publication date: 2-Jan-1991.
- Teodosiu D (1991). HARE, ACM SIGPLAN Notices, 26:1, (109-120), Online publication date: 1-Jan-1991.
- Lovegrove G, Curtis G and Farrar R A PC-based expert system in engineering Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2, (653-659)
- Girardot J (1990). The A+ programming language, a different APL, ACM SIGAPL APL Quote Quad, 20:4, (149-160), Online publication date: 1-May-1990.
- Girardot J The A+ programming language, a different APL Conference proceedings on APL 90: for the future, (149-160)
- Haynes C (1990). Standard-output, ACM SIGPLAN Lisp Pointers, III:2-4, (23-26), Online publication date: 1-Apr-1990.
- Clancy M and Linn M Functional fun Proceedings of the twenty-first SIGCSE technical symposium on Computer science education, (63-67)
- Clancy M and Linn M (1990). Functional fun, ACM SIGCSE Bulletin, 22:1, (63-67), Online publication date: 1-Feb-1990.
- Geyer-Schulz A (1989). Memo, ACM SIGAPL APL Quote Quad, 20:2, (12-27), Online publication date: 1-Dec-1989.
- Ruf E and Weise D Nondeterminism and unification in LogScheme: integrating logic and functional programming Proceedings of the fourth international conference on Functional programming languages and computer architecture, (327-339)
- Louden K (1989). Logo as a prelude to LISP: some surprising results, ACM SIGCSE Bulletin, 21:3, (35-38), Online publication date: 1-Sep-1989.
- Zweben M and Eskey M Constraint satisfaction with delayed evaluation Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2, (875-880)
- Danilowicz R (1989). Demonstrating the dangers of Pseudo-random numbers, ACM SIGCSE Bulletin, 21:2, (46-48), Online publication date: 1-Jun-1989.
- Manning C (1988). A peek at Acore, an actor core language, ACM SIGPLAN Notices, 24:4, (84-86), Online publication date: 1-Apr-1989.
- Roch J, Senechaud P, Sievert-Rich F and Villard G (1989). Computer algebra on MIMD machine, ACM SIGSAM Bulletin, 23:1, (16-32), Online publication date: 3-Jan-1989.
- Manning C A peek at Acore, an actor core language Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming, (84-86)
- Yigit O (1988). Readings in scheme, ACM SIGPLAN Lisp Pointers, 2:1, (56-61), Online publication date: 1-Jul-1988.
- Beaudet P and Jenkins M (1988). Simulating the object-oriented paradigm to Nial, ACM SIGPLAN Notices, 23:6, (49-58), Online publication date: 1-Jun-1988.
- Hanson R (1988). Toward hypertext publishing, ACM SIGIR Forum, 22:1-2, (9-26), Online publication date: 2-Jan-1988.
- Bobrow D and Kiczales G The common Lisp object system metaobject kernel: a status report Proceedings of the 1988 ACM conference on LISP and functional programming, (309-315)
- Reddy U Objects as closures: abstract semantics of object-oriented languages Proceedings of the 1988 ACM conference on LISP and functional programming, (289-297)
- Berlin A and Wu H Scheme86: a system for interpreting scheme Proceedings of the 1988 ACM conference on LISP and functional programming, (116-123)
- Roylance G Expressing mathematical subroutines constructively Proceedings of the 1988 ACM conference on LISP and functional programming, (8-13)
- Sussman G and Halfant M Tutorial: abstraction in numerical methods Proceedings of the 1988 ACM conference on LISP and functional programming, (1-7)
- 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.
- Bancilhon F, Briggs T, Khoshafian S and Valduriez P FAD, a Powerful and Simple Database Language Proceedings of the 13th International Conference on Very Large Data Bases, (97-105)
- Danvy O (1987). Memory allocation and higher-order functions, ACM SIGPLAN Notices, 22:7, (241-252), Online publication date: 1-Jul-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.
- Danvy O Memory allocation and higher-order functions Papers of the Symposium on Interpreters and interpretive techniques, (241-252)
- 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)
- Clinger W (1987). The scheme environment, ACM SIGPLAN Lisp Pointers, 1:1, (27-31), Online publication date: 1-Apr-1987.
- Halstead R (1987). Overview of concert multilisp: a multiprocessor symbolic computing system, ACM SIGARCH Computer Architecture News, 15:1, (5-14), Online publication date: 1-Mar-1987.
- Wadler P (1987). A critique of Abelson and Sussman or why calculating is better than scheming, ACM SIGPLAN Notices, 22:3, (83-94), Online publication date: 1-Mar-1987.
- Brown J, Cook J, Groner L and Eusebi E Logic programming in APL2 Proceedings of the international conference on APL, (282-288)
- 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.
- Brown J, Cook J, Groner L and Eusebi E (1986). Logic programming in APL2, ACM SIGAPL APL Quote Quad, 16:4, (282-288), Online publication date: 1-May-1986.
Index Terms
- Structure and interpretation of computer programs
Recommendations
Optimization in multimodal interpretation
ACL '04: Proceedings of the 42nd Annual Meeting on Association for Computational LinguisticsIn a multimodal conversation, the way users communicate with a system depends on the available interaction channels and the situated context (e.g., conversation focus, visual feedback). These dependencies form a rich set of constraints from various ...
Graph representations of discourse structure
The aim of this paper is to introduce a new method to represent discourse structures. This approach is based on three discourse theories in order to highlight three discourse features: cohesion, coherence and intentionality. The graph representations of ...
A Conceptual Structure for Computer Vision
CRV '11: Proceedings of the 2011 Canadian Conference on Computer and Robot VisionThe research presented in this paper represents several novel conceptual contributions to the computer vision literature. In this position paper, our goal is to define the scope of computer vision analysis and discuss a new categorisation of the ...