BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
common (25)
system (21)
program (18)
compil (14)
analysi (9)

Stem lisp$ (all stems)

125 papers:

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