BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
lisp
Google lisp

Tag #lisp

127 papers:

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.