Abstract
No abstract available.
Cited By
- Cheng J, Coward S, Chelini L, Barbalho R and Drane T SEER: Super-Optimization Explorer for High-Level Synthesis using E-graph Rewriting Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2, (1029-1044)
- Phipps-Costin L, Rossberg A, Guha A, Leijen D, Hillerström D, Sivaramakrishnan K, Pretnar M and Lindley S (2023). Continuing WebAssembly with Effect Handlers, Proceedings of the ACM on Programming Languages, 7:OOPSLA2, (460-485), Online publication date: 16-Oct-2023.
- Dietrich C CppSig Proceedings of the 11th Workshop on Programming Languages and Operating Systems, (62-68)
- Sulzmann M and Wehr S A Dictionary-Passing Translation of Featherweight Go Programming Languages and Systems, (102-120)
- Sivaramakrishnan K, Dolan S, White L, Kelly T, Jaffer S and Madhavapeddy A Retrofitting effect handlers onto OCaml Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, (206-221)
- Lilis Y and Savidis A (2019). A Survey of Metaprogramming Languages, ACM Computing Surveys, 52:6, (1-39), Online publication date: 30-Nov-2020.
- Wirfs-Brock A and Eich B (2020). JavaScript: the first 20 years, Proceedings of the ACM on Programming Languages, 4:HOPL, (1-189), Online publication date: 14-Jun-2020.
- Hickey R (2020). A history of Clojure, Proceedings of the ACM on Programming Languages, 4:HOPL, (1-46), Online publication date: 14-Jun-2020.
- Chiba S Foreign language interfaces by code migration Proceedings of the 18th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, (1-13)
- Ciccozzi F, Malavolta I and Selic B (2019). Execution of UML models, Software and Systems Modeling (SoSyM), 18:3, (2313-2360), Online publication date: 1-Jun-2019.
- Williams T, Yazdani F, Suresh P, Scheutz M and Beetz M (2019). Dempster-Shafer theoretic resolution of referential ambiguity, Autonomous Robots, 43:2, (389-414), Online publication date: 1-Feb-2019.
- Miyazaki Y, Sekiyama T and Igarashi A (2019). Dynamic type inference for gradual Hindley–Milner typing, Proceedings of the ACM on Programming Languages, 3:POPL, (1-29), Online publication date: 2-Jan-2019.
- Zhang Y and Myers A (2019). Abstraction-safe effect handlers via tunneling, Proceedings of the ACM on Programming Languages, 3:POPL, (1-29), Online publication date: 2-Jan-2019.
- Feltey D, Greenman B, Scholliers C, Findler R and St-Amour V (2018). Collapsible contracts: fixing a pathology of gradual typing, Proceedings of the ACM on Programming Languages, 2:OOPSLA, (1-27), Online publication date: 24-Oct-2018.
- Greenman B and Felleisen M (2018). A spectrum of type soundness and performance, Proceedings of the ACM on Programming Languages, 2:ICFP, (1-32), Online publication date: 30-Jul-2018.
- Heule M, Hunt W, Kaufmann M and Wetzler N Efficient, Verified Checking of Propositional Proofs Interactive Theorem Proving, (269-284)
- Zacharopoulos T, Inostroza P and Storm T (2016). Extensible modeling with managed data in Java, ACM SIGPLAN Notices, 52:3, (25-35), Online publication date: 12-May-2017.
- De Wael M, Swalens J and De Meuter W (2016). Just-in-time inheritance: a dynamic and implicit multiple inheritance mechanism, ACM SIGPLAN Notices, 52:2, (37-47), Online publication date: 11-May-2017.
- Chiu A, Garvey J, Abdelrahman T and Hannig F (2017). A Language and Preprocessor for User-Controlled Generation of Synthetic Programs, Scientific Programming, 2017, Online publication date: 1-Jan-2017.
- De Wael M, Swalens J and De Meuter W Just-in-time inheritance: a dynamic and implicit multiple inheritance mechanism Proceedings of the 12th Symposium on Dynamic Languages, (37-47)
- Zacharopoulos T, Inostroza P and Storm T Extensible modeling with managed data in Java Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, (25-35)
- Noble J, Black A, Bruce K, Homer M and Miller M The left hand of equals Proceedings of the 2016 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, (224-237)
- Zhang Y, Salvaneschi G, Beightol Q, Liskov B and Myers A (2016). Accepting blame for safe tunneled exceptions, ACM SIGPLAN Notices, 51:6, (281-295), Online publication date: 1-Aug-2016.
- O'Keefe R Building object oriented programs out of pieces Proceedings of the 11th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, (1-7)
- Zhang Y, Salvaneschi G, Beightol Q, Liskov B and Myers A Accepting blame for safe tunneled exceptions Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, (281-295)
- Schuster C, Disney T and Flanagan C Macrofication Proceedings of the 25th European Symposium on Programming Languages and Systems - Volume 9632, (644-671)
- Verna D and Ripault F Context-Oriented Image Processing Proceedings of the 7th ACM International Workshop on Context-Oriented Programming, (1-7)
- Omar C, Wang C and Aldrich J Composable and hygienic typed syntax macros Proceedings of the 30th Annual ACM Symposium on Applied Computing, (1986-1991)
- Clark T (2015). XPL, Science of Computer Programming, 98:P4, (589-616), Online publication date: 1-Feb-2015.
- Le Goc Y and Donzé A (2015). EVL, Science of Computer Programming, 98:P4, (531-550), Online publication date: 1-Feb-2015.
- Ramsey N (2014). On teaching *how to design programs*, ACM SIGPLAN Notices, 49:9, (153-166), Online publication date: 26-Nov-2014.
- Voufo L, Zalewski M and Lumsdaine A Scoping rules on a platter Proceedings of the 10th ACM SIGPLAN workshop on Generic programming, (59-70)
- Lippmeier B, Chakravarty M, Keller G and Robinson A (2013). Data flow fusion with series expressions in Haskell, ACM SIGPLAN Notices, 48:12, (93-104), Online publication date: 31-Jan-2014.
- Lippmeier B, Chakravarty M, Keller G and Robinson A Data flow fusion with series expressions in Haskell Proceedings of the 2013 ACM SIGPLAN symposium on Haskell, (93-104)
- Würthinger T, Wimmer C and Stadler L (2013). Unrestricted and safe dynamic code evolution for Java, Science of Computer Programming, 78:5, (481-498), Online publication date: 1-May-2013.
- 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)
- Loh A, van der Storm T and Cook W Managed data Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software, (179-194)
- Heinlein C MOST-flexiPL Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software, (159-178)
- Coplien J Objects of the people, by the people, and for the people Proceedings of the 11th annual international conference on Aspect-oriented Software Development Companion, (3-4)
- Balakirsky S, Kootbally Z, Kramer T, Madhavan R, Schlenoff C and Shneier M Functional requirements of a model for kitting plans Proceedings of the Workshop on Performance Metrics for Intelligent Systems, (29-36)
- Miao W and Siek J (2010). Incremental type-checking for type-reflective metaprograms, ACM SIGPLAN Notices, 46:2, (167-176), Online publication date: 26-Jan-2011.
- Würthinger T, Binder W, Ansaloni D, Moret P and Mössenböck H (2010). Applications of enhanced dynamic code evolution for Java in GUI development and dynamic aspect-oriented programming, ACM SIGPLAN Notices, 46:2, (123-126), Online publication date: 26-Jan-2011.
- Choi W, Aktemur B, Yi K and Tatsuta M Static analysis of multi-staged programs via unstaging translation Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (81-92)
- Choi W, Aktemur B, Yi K and Tatsuta M (2011). Static analysis of multi-staged programs via unstaging translation, ACM SIGPLAN Notices, 46:1, (81-92), Online publication date: 26-Jan-2011.
- Miao W and Siek J Incremental type-checking for type-reflective metaprograms Proceedings of the ninth international conference on Generative programming and component engineering, (167-176)
- Würthinger T, Binder W, Ansaloni D, Moret P and Mössenböck H Applications of enhanced dynamic code evolution for Java in GUI development and dynamic aspect-oriented programming Proceedings of the ninth international conference on Generative programming and component engineering, (123-126)
- Chadwick B and Lieberherr K Algorithms for traversal-based generic programming Proceedings of the 6th ACM SIGPLAN workshop on Generic programming, (61-72)
- Würthinger T, Wimmer C and Stadler L Dynamic code evolution for Java Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java, (10-19)
- Sullivan K, Griswold W, Rajan H, Song Y, Cai Y, Shonle M and Tewari N (2010). Modular aspect-oriented design with XPIs, ACM Transactions on Software Engineering and Methodology, 20:2, (1-42), Online publication date: 1-Aug-2010.
- Nørmark K MIDI programming in scheme Proceedings of the 7th European Lisp Workshop, (1-12)
- Krajca P and Vychodil V Software transactional memory for implicitly parallel functional language Proceedings of the 2010 ACM Symposium on Applied Computing, (2123-2130)
- Konidari E and Louridas P (2010). When students are not programmers, ACM Inroads, 1:1, (55-60), Online publication date: 1-Mar-2010.
- Maniccam S (2010). Sorting and searching using lisp, functional programming, and recursion, ACM SIGCSE Bulletin, 41:4, (53-56), Online publication date: 18-Jan-2010.
- Medina-Bulo I, Palomo-Lozano F and Ruiz-Reina J (2010). A verified Common Lisp implementation of Buchberger's algorithm in ACL2, Journal of Symbolic Computation, 45:1, (96-123), Online publication date: 1-Jan-2010.
- Shankar N (2009). Automated deduction for verification, ACM Computing Surveys, 41:4, (1-56), Online publication date: 1-Oct-2009.
- 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.
- Koide S and Takeda H Meta-circularity and MOP in common Lisp for OWL full Proceedings of the 6th European Lisp Workshop, (28-34)
- Millstein T, Frost C, Ryder J and Warth A (2009). Expressive and modular predicate dispatch for Java, ACM Transactions on Programming Languages and Systems, 31:2, (1-54), Online publication date: 1-Feb-2009.
- Gervasi V and Galilei G Software Manipulation with Annotations in Java Advances in Software Engineering, (161-184)
- Pitman K Common Lisp Celebrating the 50th Anniversary of Lisp, (1-12)
- Ducournau R (2008). Perfect hashing as an almost perfect subtype test, ACM Transactions on Programming Languages and Systems, 30:6, (1-56), Online publication date: 1-Oct-2008.
- Hunsberger L and Ortiz C (2008). Dynamic intention structures I, Autonomous Agents and Multi-Agent Systems, 16:3, (298-326), Online publication date: 1-Jun-2008.
- Schmied A and Hauck F Practical conflict resolution for the composition of program transformations Proceedings of the 7th international conference on Software composition, (248-262)
- Jimenez M, Lindahl T and Sagonas K A language for specifying type contracts in erlang and its interaction with success typings Proceedings of the 2007 SIGPLAN workshop on ERLANG Workshop, (11-17)
- Culpepper R and Felleisen M Debugging macros Proceedings of the 6th international conference on Generative programming and component engineering, (135-144)
- Pirkelbauer P, Solodkyy Y and Stroustrup B Open multi-methods for c++ Proceedings of the 6th international conference on Generative programming and component engineering, (123-134)
- Kinnucan P and Mosterman P A graphical variant approach to object-oriented modeling of dynamic systems Proceedings of the 2007 Summer Computer Simulation Conference, (513-521)
- Rhodes C User-extensible sequences in common Lisp Proceedings of the 2007 International Lisp Conference, (1-14)
- Latendresse M Simple and efficient compilation of list comprehension in common Lisp Proceedings of the 2007 International Lisp Conference, (1-6)
- Eo H, Kim I and Yi K Type and effect system for multi-staged exceptions Proceedings of the 4th Asian conference on Programming Languages and Systems, (61-78)
- Heinlein C Implicit and dynamic parameters in c++ Proceedings of the 7th joint conference on Modular Programming Languages, (37-56)
- Reiss S (2006). Incremental Maintenance of Software Artifacts, IEEE Transactions on Software Engineering, 32:9, (682-697), Online publication date: 1-Sep-2006.
- Lewis I A new general parser for extensible languages Proceedings of the 17th IASTED international conference on Modelling and simulation, (394-400)
- Klassner F (2006). Launching into AI's October Sky with Robotics and Lisp, AI Magazine, 27:1, (51-65), Online publication date: 1-Mar-2006.
- Ducasse S, Nierstrasz O, Schärli N, Wuyts R and Black A (2006). Traits, ACM Transactions on Programming Languages and Systems, 28:2, (331-388), Online publication date: 1-Mar-2006.
- Kim I, Yi K and Calcagno C (2006). A polymorphic modal type system for lisp-like multi-staged languages, ACM SIGPLAN Notices, 41:1, (257-268), Online publication date: 12-Jan-2006.
- Kim I, Yi K and Calcagno C A polymorphic modal type system for lisp-like multi-staged languages Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (257-268)
- Zhao Y (2004). Granule-oriented programming, ACM SIGPLAN Notices, 39:12, (107-118), Online publication date: 1-Dec-2004.
- Manolios P and Moore J (2003). Partial Functions in ACL2, Journal of Automated Reasoning, 31:2, (107-127), Online publication date: 16-Dec-2003.
- Kaufmann M and Moore J (2001). Structured Theory Development for a Mechanized Logic, Journal of Automated Reasoning, 26:2, (161-203), Online publication date: 1-Feb-2001.
- Gat E (2000). Point of view, intelligence, 11:4, (21-24), Online publication date: 1-Dec-2000.
- Soundarajan N and Fridella S Behavioral Subtyping and Behavioral Enrichment of Multimethods Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
- Chambers C and Chen W (1999). Efficient multiple and predicated dispatching, ACM SIGPLAN Notices, 34:10, (238-255), Online publication date: 1-Oct-1999.
- Chambers C and Chen W Efficient multiple and predicated dispatching Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, (238-255)
- Kaisler S and Feldman M (1998). Object-oriented and concurrent program design issues in Ada 95, ACM SIGAda Ada Letters, XVIII:6, (246-254), Online publication date: 1-Nov-1998.
- Kaisler S and Feldman M Object-oriented and concurrent program design issues in Ada 95 Proceedings of the 1998 annual ACM SIGAda international conference on Ada, (246-254)
- Moreau L (1998). A Syntactic Theory of Dynamic Binding, Higher-Order and Symbolic Computation, 11:3, (233-279), Online publication date: 1-Oct-1998.
- Lee J, Gruninger M, Jin Y, Malone T, Tate A, Yost G and Other Members Of The PIF Working Group (1998). The Process Interchange Format and Framework, The Knowledge Engineering Review, 13:1, (91-120), Online publication date: 1-Mar-1998.
- Anderson S Simulation of multiple time-pressured agents Proceedings of the 29th conference on Winter simulation, (397-404)
- Smaragdakis Y and Batory D DiSTiL Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997, (20-20)
- Filman R (1997). Applying AI to Software Renovation, Automated Software Engineering, 4:3, (341-360), Online publication date: 1-Jul-1997.
- Minds and Machines staff (1997). Book Reviews, Minds and Machines, 7:1, (115-155), Online publication date: 1-Feb-1997.
- Ferrante R and Allard J (1996). Introducing a CPS style optimizer into an existing compiler, ACM SIGPLAN Notices, 31:12, (73-79), Online publication date: 1-Dec-1996.
- Meyer R (1996). CANLOGS, ACM SIGCSE Bulletin, 28:1, (58-62), Online publication date: 1-Mar-1996.
- Meyer R CANLOGS Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education, (58-62)
- Steele G and Gabriel R The evolution of Lisp History of programming languages---II, (233-330)
- Hurwitz R and Mallery J The Open Meeting: A Web-Based System for Conferencing and Collaboration Proceedings of the Fourth International Conference on World Wide Web, (15-36)
- Novak Jr. G (1995). Creation of Views for Reuse of Software with Different Data Representations, IEEE Transactions on Software Engineering, 21:12, (993-1005), Online publication date: 1-Dec-1995.
- Rossie J and Friedman D (1995). An algebraic semantics of subobjects, ACM SIGPLAN Notices, 30:10, (187-199), Online publication date: 17-Oct-1995.
- Rossie J and Friedman D An algebraic semantics of subobjects Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications, (187-199)
- Räihä L (1995). A brief look at extension programming before and now, ACM SIGPLAN Notices, 30:2, (12-20), Online publication date: 1-Feb-1995.
- Attardi G (1994). The embeddable Common Lisp, ACM SIGPLAN Lisp Pointers, VIII:1, (30-41), Online publication date: 1-Jan-1995.
- Attardi G The embeddable Common Lisp Papers of the fourth international conference on LISP users and vendors, (30-41)
- Baker H (1994). Linear logic and permutation stacks—the Forth shall be first, ACM SIGARCH Computer Architecture News, 22:1, (34-43), Online publication date: 1-Mar-1994.
- 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.
- Baker H (1993). Strategies for the lossless encoding of strings as Ada identifiers, ACM SIGAda Ada Letters, XIII:5, (43-47), Online publication date: 1-Sep-1993.
- Petrus E SKILL Proceedings of the third international conference on Lisp users and vendors, (71-79)
- Hodgkinson J Bungee jumping off the ivory tower Proceedings of the third international conference on Lisp users and vendors, (30-39)
- Boreczky J Building common Lisp applications with reasonable performance Proceedings of the third international conference on Lisp users and vendors, (20-29)
- Evans S Adventures in multiprocessing Proceedings of the third international conference on Lisp users and vendors, (5-14)
- Petrus E (1993). SKILL, ACM SIGPLAN Lisp Pointers, VI:3, (71-79), Online publication date: 1-Jul-1993.
- Hodgkinson J (1993). Bungee jumping off the ivory tower, ACM SIGPLAN Lisp Pointers, VI:3, (30-39), Online publication date: 1-Jul-1993.
- Boreczky J (1993). Building common Lisp applications with reasonable performance, ACM SIGPLAN Lisp Pointers, VI:3, (20-29), Online publication date: 1-Jul-1993.
- Evans S (1993). Adventures in multiprocessing, ACM SIGPLAN Lisp Pointers, VI:3, (5-14), Online publication date: 1-Jul-1993.
- Hodgkinson J (1992). Sleeping with the enemy, ACM SIGPLAN Lisp Pointers, VI:2, (16-22), Online publication date: 1-Apr-1993.
- Waters R (1993). Macroexpand-All, ACM SIGPLAN Lisp Pointers, VI:1, (25-32), Online publication date: 2-Jan-1993.
- Baker H (1992). Inlining semantics for subroutines which are recursive, ACM SIGPLAN Notices, 27:12, (39-46), Online publication date: 1-Dec-1992.
- Baker H (1992). Less complex elementary functions, ACM SIGPLAN Notices, 27:11, (15-16), Online publication date: 1-Nov-1992.
- Hodgkinson J Sleeping with the enemy Proceedings of the 1992 conference on Lisp users and vendors, (16-22)
- Baker H (1992). Speeding up the “Puzzle” Benchmark a “bit”, ACM SIGPLAN Lisp Pointers, V:3, (18-21), Online publication date: 1-Aug-1992.
- Conklin E and Yakemovic K (2018). A process-oriented approach to design rationale, Human-Computer Interaction, 6:3, (357-391), Online publication date: 1-Sep-1991.
- Baker H (1991). Shallow binding makes functional arrays fast, ACM SIGPLAN Notices, 26:8, (145-147), Online publication date: 1-Aug-1991.
- Cutting D, Pedersen J and Halvorsen P An object-oriented architecture for text retrieval Intelligent Text and Image Handling, (285-298)
- Lapalme G (1991). Implementation of a “Lisp comprehension” macro, ACM SIGPLAN Lisp Pointers, IV:2, (16-23), Online publication date: 1-Apr-1991.
- Mikelsons M, Alberga C and Skutt C (1990). A Lisp environment at IBM T J Watson Research, ACM SIGPLAN Lisp Pointers, IV:1, (39-44), Online publication date: 1-Jul-1990.
- Haulsen I and Sodan A (1989). UnicStep-a visual stepper for COMMON LISP, ACM SIGPLAN Lisp Pointers, III:1, (35-43), Online publication date: 1-Jul-1989.
- Lieberman H and Fry C (1988). Common EVAL, ACM SIGPLAN Lisp Pointers, 2:1, (23-33), Online publication date: 1-Jul-1988.
Index Terms
- Common Lisp: The Language
Recommendations
Tachyon Common Lisp: an efficient and portable implementation of CLtL2
Tachyon Common Lisp is an efficient and portable implementation of Common Lisp 2nd Edition. The design objective of Tachyon is to apply both advanced optimization technology developed for RISC processors and Lisp optimization techniques. The compiler ...
Tachyon Common Lisp: an efficient and portable implementation of CLtL2
LFP '92: Proceedings of the 1992 ACM conference on LISP and functional programmingTachyon Common Lisp is an efficient and portable implementation of Common Lisp 2nd Edition. The design objective of Tachyon is to apply both advanced optimization technology developed for RISC processors and Lisp optimization techniques. The compiler ...