BibSLEIGH — lisp tag

lisp

lisp

Tag #lisp

127 papers:

ILC-2014-Cooper #knowledge base: A Gentle Introduction to Gendl®, a Common Lisp-based Knowledge Based Engineering Environment (DC), p. 6.
ILC-2014-Pfeil #named: Kilns: A Lisp Without λ (GP), p. 9.
ILC-2014-Smith #programming: Common Lisp’s Predilection for Mathematical Programming (RS), p. 10.
ILC-2014-SmithP #finite #performance #permutation: Efficient Finite Permutation Groups and Homomesy Computation in Common Lisp (RS, BP), p. 60.
ILC-2014-Strandh #performance: Fast Generic Dispatch for Common Lisp (RS), p. 89.
ISMM-2013-MorikawaUI #adaptation #garbage collection: Adaptive scanning reduces sweep time for the Lisp2 mark-compact garbage collector (KM, TU, HI), pp. 15–26.
ILC-2010-Maraist #named #testing: NST: a unit testing system for common Lisp (JM), pp. 53–64.
ILC-2010-Turner #named #programming: LP/LISP: literate programming for Lisp (RMT), pp. 21–28.
SEKE-2009-Elazhary: Arabic Lisp (HE), pp. 382–385.
CSMR-2008-DozsaGM #how: How Lisp Systems Look Different (AD, TG, RM), pp. 223–232.
RTA-2008-Toyama #proving #recursion #term rewriting #termination: Termination Proof of S-Expression Rewriting Systems with Recursive Path Relations (YT), pp. 381–391.
CSMR-2007-Leitao #approach #framework #java #migration #platform #source code: Migration of Common Lisp Programs to the Java Platform — The Linj Approach (AML), pp. 243–251.
ILC-2007-Aasman #scalability: Scalable Lisp applications (JA), p. 1.
ILC-2007-AkashiTFHS #framework #network #platform: Lisp-based agent platform and applications for inter-domain network management (OA, AT, KF, TH, TS), p. 14.
ILC-2007-ConnollyQ #comprehension #image #named #open source: FREEDIUS: an open source Lisp-based image understanding environment (CC, LQ), p. 16.
ILC-2007-Frank #constraints #theorem proving: Constraint solving in common Lisp (SF), p. 10.
ILC-2007-GencerGT #analysis #named #network #social: CL-SNA: social network analysis with Lisp (MG, CG, VST), p. 17.
ILC-2007-Harmon #analysis #tool support: Computational tools for the analysis of spatial patterns of gene expression in Common Lisp (CLH), p. 18.
ILC-2007-Herth #user interface #visual notation: Portable Common Lisp graphical user interfaces with LTk (PH), p. 19.
ILC-2007-HerzeelGCD #e-commerce #using: Modularizing crosscuts in an e-commerce application in Lisp using HALO (CH, KG, PC, TD), p. 11.
ILC-2007-Latendresse #compilation #comprehension #performance: Simple and efficient compilation of list comprehension in common Lisp (ML), p. 12.
ILC-2007-Moller #owl: Building a commercial OWL reasoner with Lisp (RM), p. 5.
ILC-2007-RepenningI: X-expressions in XMLisp: S-expressions and extensible markup language unite (AR, AI), p. 23.
ILC-2007-Rhodes #sequence: User-extensible sequences in common Lisp (CR), p. 13.
ILC-2007-Stoyan #named: Lisp: themes and history (HS), p. 8.
RTA-2004-Toyama #higher-order #term rewriting #termination: Termination of S-Expression Rewriting Systems: Lexicographic Path Ordering for Higher-Order Terms (YT), pp. 40–54.
CSMR-2002-Leitao #pattern matching #refactoring #source code: A Formal Pattern Language for Refactoring of Lisp Programs (APTdMCL), pp. 186–192.
ICFP-2001-NeubauerS #analysis #emacs: Down with Emacs Lisp: Dynamic Scope Analysis (MN, MS), pp. 38–49.
ICFP-1999-FlattFKF #operating system #programming language: Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine) (MF, RBF, SK, MF), pp. 138–147.
PEPM-1999-Bawden: Quasiquotation in Lisp (AB), pp. 4–12.
ASE-1998-HarmerB #automation #empirical #java #legacy #reverse engineering: Brewing Fresh JAVA from Legacy Lisp — An Experiment in Automated Reverse Engineering (TJH, JMB), pp. 318–332.
ITiCSE-1996-SanchezV #analysis #education #image: ViLi (Vision LISP): a software environment for teaching image processing and analysis (JS, JV), p. 234.
POPL-1996-Pippenger: Pure versus Impure LISP (NP), pp. 104–109.
PDP-1996-NapoliGF #community #concurrent #implementation #interpreter: A Paralation Model Implementation Based on a Concurrent Lisp Interpreter Community (CDN, MG, MMF), pp. 429–436.
LFP-1994-JacobsS #persistent #semantics #syntax: Syntax and Semantics of a Persistent Common Lisp (JHJ, MRS), pp. 103–112.
LFP-1992-Henessey #delivery #named #performance: WCL: Delivering Efficient Common Lisp Applications Under Unix (WH), pp. 260–269.
LFP-1992-MacLachlan #compilation #python: The Python Compiler for CMU Common Lisp (RAM), pp. 235–246.
LFP-1992-NagasakaSIGT #implementation #performance: Tachyon Common Lisp: An Efficient and Portable Implementation of CLtL2 (AN, YS, TI, HG, JT), pp. 270–277.
CC-1992-Knopp #analysis #parallel #performance: Improving the Performance of Parallel LISP by Compile Time Analysis (JK), pp. 271–277.
IWMM-1992-Yuasa #architecture #garbage collection #memory management #parallel: Memory Management and Garbage Collection of an Extended Common Lisp System for Massively Parallel SIMD Architecture (TY), pp. 490–506.
WSA-1991-QueinnecP #composition #evaluation #metaprogramming: A Proposal for a Modular Lisp with Macros and Dynamic Evaluation (CQ, JAP), pp. 1–8.
DAC-1991-MassonEBWC #implementation #object-oriented: Object Oriented Lisp Implementation of the CHEOPS VLSI Floor Planning and Routing System (CM, RE, DB, DW, GC), pp. 259–264.
LFP-1990-Johnson #architecture: Trap Architectures for Lisp Systems (DJ), pp. 79–86.
PLILP-1990-Queinnec #compilation #higher-order: Compilation of Non-Linear, Second Order Patterns on S-Expressions (CQ), pp. 340–357.
CADE-1990-Kaufmann #named #verification: RCL: A Lisp Verification System (MK), pp. 659–660.
PLDI-1989-KranzHM #named #parallel: Mul-T: A High-Performance Parallel Lisp (DAK, RHHJ, EM), pp. 81–90.
NACLP-1989-MadanPS #on the #prolog: On the Adequacy of Direct Mapped Caches for Lisp and Prolog Data Reference Patterns (VSM, CJP, GSS), pp. 888–906.
LFP-1988-BobrowK #kernel #object-oriented: The Common Lisp Object System Metaobject Kernel: A Status Report (DGB, GK), pp. 309–315.
LFP-1988-QueinnecC #data transformation #representation: An Open-Ended Data Representation Model for EU_LISP (CQ, PC), pp. 298–308.
LFP-1988-SwansonKL #implementation #standard: An Implementation of Portable Standard LISP on the BBN Butterfly (MRS, RRK, GL), pp. 132–142.
ECOOP-1988-Graube #architecture #reflexive: Reflexive Architecture: From ObjVLisp to CLOS (NG), pp. 110–127.
ICSE-1988-Narayanaswamy #evolution #framework #static analysis: Static Analysis-Based Program Evolution Support in the Common Lisp Framework (KN), pp. 222–230.
PPEALS-1988-LarusH #concurrent #execution #source code: Restructuring Lisp Programs for Concurrent Execution (JRL, PNH), pp. 100–110.
ECOOP-1987-DeMichielG #object-oriented #overview #perspective: The Common Lisp Object System: An Overview (LGD, RPG), pp. 151–170.
OOPSLA-1987-Cointe: Metaclasses are First Class: the ObjVlisp Model (PC), pp. 156–167.
PLDI-1987-GelernterJL #interpreter #parallel #persistent #symmetry: Parallelism, persistence and meta-cleanliness in the symmetric Lisp interpreter (DG, SJ, TL), pp. 274–282.
ASPLOS-1987-SteenkisteH #hardware #type checking: Tags and Type Checking in Lisp: Hardware and Software Approaches (PS, JLH), pp. 50–59.
LFP-1986-AlbergaBMDP #experience: Experience with an Uncommon LISP (CNA, CBC, MM, MSVD, JAP), pp. 39–53.
LFP-1986-BrooksPMWBG #compilation #design #optimisation: Design of an Optimizing, Dynamically Retargetable Compiler for Common Lisp (RAB, DBP, JLM, JLW, EB, RPG), pp. 67–87.
LFP-1986-LeeP #implementation #on the #semantics #using: On the Use of LISP in Implementing Denotational Semantics (PL, UFP), pp. 233–248.
LFP-1986-Padgeta #standard: Desiderata for the Standardization of LISP (JAP), pp. 54–66.
LFP-1986-SteeleH #fine-grained #parallel: Connection Machine LISP: Fine-Grained Parallel Symbolic Processing (GLSJ, WDH), pp. 279–297.
LFP-1986-SteenkisteH: LISP on a Reduced-Instruction-Set-Processor (PS, JLH), pp. 192–201.
LFP-1986-White #case study #configuration management #performance: Reconfigurable, Retargetable Bignums: A Case Study in Efficient, Portable Lisp System Building (JLW), pp. 174–191.
OOPSLA-1986-BobrowKKMSZ #named #object-oriented #programming: CommonLoops: Merging Lisp and Object-Oriented Programming (DGB, KMK, GK, LM, MS, FZ), pp. 17–29.
ICLP-1986-Tick86 #memory management #performance #prolog #source code: Memory Performance of Lisp and Prolog Programs (ET), pp. 642–649.
LICS-1986-Mason #equivalence #first-order #proving #source code: Equivalence of First Order LISP Programs. Proving Properties of Destructive Programs via Transformation (IAM), pp. 105–117.
ICSE-1985-HattoriKW #ada #comparison #programming #prolog: A Comparison of Lisp, Prolog, and Ada Programming Productivity an AI Areas (FH, KK, TW), pp. 285–291.
CAAP-1985-ChoppyGK #algebra #compilation #proving #semantics: A Lisp Compiler for FP Language and Its Proof via Algebraic Semantics (CC, GG, SK), pp. 403–415.
SLP-1985-Carlsson85 #prolog: A Microcoded Unifier for Lisp Machine Prolog (MC), pp. 162–171.
LFP-1984-BatesDF: Recent Developments in ISI-Interlisp (RLB, DD, MF), pp. 129–139.
LFP-1984-BrooksG: A Critique of Common Lisp (RAB, RPG), pp. 1–8.
LFP-1984-ChaillouxDH #performance: LE LISP, a Portable and Efficient LISP System (JC, MD, JMH), pp. 113–122.
LFP-1984-GabrielM #multi: Queue-based Multi-processing Lisp (RPG, JM), pp. 25–44.
LFP-1984-Halstead #implementation #multi: Implementation of Multilisp: Lisp on a Multiprocessor (RHHJ), pp. 9–17.
LFP-1984-Lieberman #debugging #tool support #towards: Steps Toward Better Debugging Tools for Lisp (HL), pp. 247–255.
LFP-1984-Moon #garbage collection #scalability: Garbage Collection in a Large Lisp System (DAM), pp. 235–246.
LFP-1984-OkunoTOHW #named: TAO: Afst Interpreter-Centered Lisp System on Lisp Machine ELIS (HGO, IT, NO, YH, KW), pp. 140–149.
LFP-1984-StefanPBB #named: DIALISP — A Lisp Machine (GS, AP, VB, AB), pp. 123–128.
LFP-1984-Stoyan: Early LISP History (1956-1959) (HS), pp. 299–310.
LFP-1984-WholeyF #design #set: The Design of an Instruction Set for Common Lisp (SW, SEF), pp. 150–158.
POPL-1984-Smith #semantics: Reflection and Semantics in Lisp (BCS), pp. 23–35.
LFP-1982-BrooksGS #implementation: S-1 Common Lisp Implementation (RAB, RPG, GLSJ), pp. 108–113.
LFP-1982-Dawson #effectiveness #garbage collection #realtime: Improved Effectiveness from a Real Time Lisp Garbage Collector (JLD), pp. 159–167.
LFP-1982-GabrielM #performance: Performance of Lisp Systems (RPG, LM), pp. 123–142.
LFP-1982-GotoSIIIHSSP #design: Design of a Lisp Machine — FLATS (EG, TS, NI, TI, MI, KH, MS, KS, BP), pp. 208–215.
LFP-1982-GrissBM #named: PSL: A Portable LISP System (MLG, EB, GQMJ), pp. 88–97.
LFP-1982-Gutierrez #prolog: Prolog Compared with Lisp (CG), pp. 143–149.
LFP-1982-ReesA #named: T: A Dialect of Lisp or, LAMBDA: The Ultimate Software Tool (JR, NA), pp. 114–122.
LFP-1982-Steele #overview: An Overview of Common Lisp (GLSJ), pp. 98–107.
SCC-1982-BrooksGS #compilation #optimisation: An Optimizing Compiler for Lexically Scoped LISP (RAB, RPG, GLSJ), pp. 261–275.
SCC-1982-GrissBH #compilation: Current Status of a Portable Lisp Compiler (MLG, EB, ACH), pp. 276–283.
ASPLOS-1982-SansonnetCPBP #architecture #execution: Direct Execution of Lisp on a List-Directed Architecture (JPS, MC, CP, DB, JP), pp. 132–139.
ILPC-1982-Kahn82 #prolog #source code: A Partial Evaluator of Lisp Programs Written in Prolog (KMK), pp. 19–25.
DAC-1981-GoatesP #array #design #layout #logic #modelling #named: ABLE: A LISP-based layout modeling language with user-definable procedural models for storage/logic array design (GBG, SSP), pp. 322–329.
LISP-1980-BurtonMBHKS #overview: Overview and Status of DoradoLISP (RRB, LM, DGB, WH, RMK, BAS), p. 243–?.
LISP-1980-CampbellF: Symbolic Computing with and without Lisp (JC, JPF), pp. 1–5.
LISP-1980-DavenportJ: MODLISP (JHD, RDJ), pp. 65–74.
LISP-1980-EmanuelsonH #compilation #embedded #on the: On Compiling Embedded Languages in LISP (PE, AH), pp. 208–215.
LISP-1980-Greenberg #emacs #multi: Prose and CONS — Multics Emacs: A Commercial Text-processing System in LISP (BG), pp. 6–12.
LISP-1980-Marti #compilation #concurrent #control flow: Compilation Techniques for a Control-Flow Concurrent LISP System (JM), pp. 203–207.
LISP-1980-MasinterD #compilation #optimisation: Local Optimization in a Compiler for Stack-based LISP Machines (LM, LPD), pp. 223–230.
LISP-1980-McDermott #interpreter #performance: An Efficient Environment Allocation Scheme in an Interpreter for a Lexically-Scoped LISP (DVM), pp. 154–162.
LISP-1980-McKayS #multi #named: MULTI — A LISP Based Multiprocessing System (DPM, SCS), pp. 29–37.
LISP-1980-Model #multi: Multiprocessing via Intercommunicating LISP Systems (MM), pp. 188–195.
LISP-1980-MuchnickP #comparison #semantics: A Semantic Comparison of LISP and Scheme (SSM, UFP), pp. 56–64.
LISP-1980-Pitman: Special Forms in LISP (KMP), pp. 179–187.
LISP-1980-Rowan #compilation: A LISP Compiler Producing Compact Code (WR), pp. 216–222.
LISP-1980-Steele #abstraction: Strategies for Data Abstraction in LISP (BS), pp. 173–178.
LISP-1980-White #memory management: Address/Memory Management for a Gigantic LISP Environment (JW), pp. 119–127.
POPL-1978-Haraldsson #compilation: A Partial Evaluator, Its Use for Compiling Iterative Statements in Lisp (AH), pp. 195–202.
STOC-1977-ODonnell #combinator #equation #logic #program transformation #recursion: Subtree Replacement Systems: A Unifying Theory for Recursive Equations, LISP, Lucid and Combinatory Logic (MO), pp. 295–305.
ICALP-1976-Cartwright #data type #source code #verification: User-Defined Data Types as an Aid to Verifying LISP Programs (RC), pp. 228–256.
POPL-1976-Summers: A Methodology for Lisp Program Construction from Examples (PDS), pp. 68–76.
LISP-1963-Dulock #algebra #symmetry: LISP. Applications to Symmetric group, Dirac groups and Lie algebras (VD), p. 1.
LISP-1963-Edwards: Secondary Storage in LISP (DE), p. 2.
LISP-1963-Evans #string: Character String manipulation in LISP (TE), p. 3.
LISP-1963-Hart #metaprogramming: Macro Instructions for LISP (TH), p. 4.
LISP-1963-Hawkinson #data type: Data structures and arrangements in LISP (LH), p. 5.
LISP-1963-Hearn #graph: LISP. Computation of Feynman Graphs (ACH), p. 6.
LISP-1963-Levin #algebra #compilation: Algebraic Compiler with LISP (ML), p. 7.
LISP-1963-McCarthy #compilation: The LISP 2 Compiler (JM), p. 8.
LISP-1963-McIntosh #using: The use of operator predicates in LISP (HVM), p. 9.
LISP-1963-Thomas #array #source code #using: Use of arrays in LISP. Group theory programs (BST), p. 11.
LISP-1963-Williams: A LISP Page plotter (JW), p. 13.
LISP-1963-Wooldridge #algebra: An Algebraic Simplify Program in LISP (DW), p. 14.
LISP-1963-Yates #analysis #compilation #source code #word: LISP. Group Analysis programs. Λ LISP Compiler for a variable word machine (Gamma 30 Scientific) (RY), p. 15.