Stem lisp$ (all stems)

125 papers:

ILC-2014-Cooper #knowledge base #lisp

A Gentle Introduction to Gendl®, a Common Lisp-based Knowledge Based Engineering Environment (DC), p. 6.

ILC-2014-Pfeil #lisp #named

Kilns: A Lisp Without λ (GP), p. 9.

ILC-2014-Smith #lisp #programming

Common Lisp’s Predilection for Mathematical Programming (RS), p. 10.

ILC-2014-SmithP #finite #lisp #performance #permutation

Efficient Finite Permutation Groups and Homomesy Computation in Common Lisp (RS, BP), p. 60.

ILC-2014-Strandh #lisp #performance

Fast Generic Dispatch for Common Lisp (RS), p. 89.

ISMM-2013-MorikawaUI #adaptation #garbage collection #lisp

Adaptive scanning reduces sweep time for the Lisp2 mark-compact garbage collector (KM, TU, HI), pp. 15–26.

ILC-2010-Maraist #lisp #named #testing

NST: a unit testing system for common Lisp (JM), pp. 53–64.

ILC-2010-Turner #lisp #named #programming

LP/LISP: literate programming for Lisp (RMT), pp. 21–28.

SEKE-2009-Elazhary #lisp

Arabic Lisp (HE), pp. 382–385.

CSMR-2008-DozsaGM #how #lisp

How Lisp Systems Look Different (AD, TG, RM), pp. 223–232.

CSMR-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.

ILC-2007-Aasman #lisp #scalability

Scalable Lisp applications (JA), p. 1.

ILC-2007-AkashiTFHS #framework #lisp #network

Lisp-based agent platform and applications for inter-domain network management (OA, AT, KF, TH, TS), p. 14.

ILC-2007-ConnollyQ #comprehension #image #lisp #named #open source

FREEDIUS: an open source Lisp-based image understanding environment (CC, LQ), p. 16.

ILC-2007-Frank #constraints #lisp #theorem proving

Constraint solving in common Lisp (SF), p. 10.

ILC-2007-GencerGT #analysis #lisp #named #network #social

CL-SNA: social network analysis with Lisp (MG, CG, VST), p. 17.

ILC-2007-Harmon #analysis #lisp #tool support

Computational tools for the analysis of spatial patterns of gene expression in Common Lisp (CLH), p. 18.

ILC-2007-Herth #lisp #user interface #visual notation

Portable Common Lisp graphical user interfaces with LTk (PH), p. 19.

ILC-2007-HerzeelGCD #e-commerce #lisp #using

Modularizing crosscuts in an e-commerce application in Lisp using HALO (CH, KG, PC, TD), p. 11.

ILC-2007-Latendresse #compilation #comprehension #lisp #performance

Simple and efficient compilation of list comprehension in common Lisp (ML), p. 12.

ILC-2007-Moller #lisp #owl

Building a commercial OWL reasoner with Lisp (RM), p. 5.

ILC-2007-RepenningI #lisp

X-expressions in XMLisp: S-expressions and extensible markup language unite (AR, AI), p. 23.

ILC-2007-Rhodes #lisp #sequence

User-extensible sequences in common Lisp (CR), p. 13.

ILC-2007-Stoyan #lisp #named

Lisp: themes and history (HS), p. 8.

POPL-2006-KimYC #multi #polymorphism #type system

A polymorphic modal type system for lisp-like multi-staged languages (ISK, KY, CC), pp. 257–268.

CSMR-2002-Leitao #lisp #pattern matching #refactoring #source code

A Formal Pattern Language for Refactoring of Lisp Programs (APTdMCL), pp. 186–192.

ICFP-2001-NeubauerS #analysis #emacs #lisp

Down with Emacs Lisp: Dynamic Scope Analysis (MN, MS), pp. 38–49.

PEPM-1999-Bawden #lisp

Quasiquotation in Lisp (AB), pp. 4–12.

ICFP-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.

ASE-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.

ITiCSE-1996-SanchezV #analysis #education #image #lisp

ViLi (Vision LISP): a software environment for teaching image processing and analysis (JS, JV), p. 234.

POPL-1996-Pippenger #lisp

Pure versus Impure LISP (NP), pp. 104–109.

LFP-1994-JacobsS #lisp #persistent #semantics #syntax

Syntax and Semantics of a Persistent Common Lisp (JHJ, MRS), pp. 103–112.

LFP-1992-Henessey #lisp #named #performance

WCL: Delivering Efficient Common Lisp Applications Under Unix (WH), pp. 260–269.

LFP-1992-MacLachlan #compilation #lisp #python

The Python Compiler for CMU Common Lisp (RAM), pp. 235–246.

LFP-1992-NagasakaSIGT #implementation #lisp #performance

Tachyon Common Lisp: An Efficient and Portable Implementation of CLtL2 (AN, YS, TI, HG, JT), pp. 270–277.

LFP-1992-WangH #analysis #recursion

Analysis of Recursive Types in Lisp-Like Languages (EW, PNH), pp. 216–225.

CC-1992-Knopp #analysis #lisp #parallel #performance

Improving the Performance of Parallel LISP by Compile Time Analysis (JK), pp. 271–277.

IWMM-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.

DAC-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.

PEPM-1991-Muller #equation #logic #named #semantics

M-LISP: Its Natural Semantics and Equational Logic (Extended Abstract) (RM), pp. 234–242.

WSA-1991-QueinnecP #composition #evaluation #lisp #metaprogramming

A Proposal for a Modular Lisp with Macros and Dynamic Evaluation (CQ, JAP), pp. 1–8.

LFP-1990-Johnson #architecture #lisp

Trap Architectures for Lisp Systems (DJ), pp. 79–86.

CADE-1990-Kaufmann #lisp #named #verification

RCL: A Lisp Verification System (MK), pp. 659–660.

PLDI-1989-KranzHM #lisp #named #parallel

Mul-T: A High-Performance Parallel Lisp (DAK, RHHJ, EM), pp. 81–90.

NACLP-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.

LFP-1988-BobrowK #kernel #lisp #object-oriented

The Common Lisp Object System Metaobject Kernel: A Status Report (DGB, GK), pp. 309–315.

LFP-1988-QueinnecC #data transformation #lisp #representation

An Open-Ended Data Representation Model for EU_LISP (CQ, PC), pp. 298–308.

LFP-1988-SwansonKL #implementation #lisp #standard

An Implementation of Portable Standard LISP on the BBN Butterfly (MRS, RRK, GL), pp. 132–142.

ICSE-1988-Narayanaswamy #evolution #framework #lisp #static analysis

Static Analysis-Based Program Evolution Support in the Common Lisp Framework (KN), pp. 222–230.

PPEALS-1988-LarusH #concurrent #execution #lisp #source code

Restructuring Lisp Programs for Concurrent Execution (JRL, PNH), pp. 100–110.

PLDI-1987-GelernterJL #interpreter #lisp #parallel #persistent #symmetry

Parallelism, persistence and meta-cleanliness in the symmetric Lisp interpreter (DG, SJ, TL), pp. 274–282.

ECOOP-1987-DeMichielG #bibliography #lisp #object-oriented #perspective

The Common Lisp Object System: An Overview (LGD, RPG), pp. 151–170.

ASPLOS-1987-SteenkisteH #hardware #lisp #type checking

Tags and Type Checking in Lisp: Hardware and Software Approaches (PS, JLH), pp. 50–59.

LFP-1986-AlbergaBMDP #experience #lisp

Experience with an Uncommon LISP (CNA, CBC, MM, MSVD, JAP), pp. 39–53.

LFP-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.

LFP-1986-LeeP #implementation #lisp #on the #semantics

On the Use of LISP in Implementing Denotational Semantics (PL, UFP), pp. 233–248.

LFP-1986-Padgeta #lisp #standard

Desiderata for the Standardization of LISP (JAP), pp. 54–66.

LFP-1986-SteeleH #fine-grained #lisp #parallel

Connection Machine LISP: Fine-Grained Parallel Symbolic Processing (GLSJ, WDH), pp. 279–297.

LFP-1986-SteenkisteH #lisp

LISP on a Reduced-Instruction-Set-Processor (PS, JLH), pp. 192–201.

LFP-1986-White #case study #configuration management #lisp #performance

Reconfigurable, Retargetable Bignums: A Case Study in Efficient, Portable Lisp System Building (JLW), pp. 174–191.

OOPSLA-1986-BobrowKKMSZ #lisp #named #object-oriented #programming

CommonLoops: Merging Lisp and Object-Oriented Programming (DGB, KMK, GK, LM, MS, FZ), pp. 17–29.

ICLP-1986-Tick86 #lisp #memory management #performance #prolog #source code

Memory Performance of Lisp and Prolog Programs (ET), pp. 642–649.

LICS-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.

ICSE-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.

SLP-1985-Carlsson85 #lisp #prolog

A Microcoded Unifier for Lisp Machine Prolog (MC), pp. 162–171.

LFP-1984-BrooksG #lisp

A Critique of Common Lisp (RAB, RPG), pp. 1–8.

LFP-1984-ChaillouxDH #lisp #performance

LE LISP, a Portable and Efficient LISP System (JC, MD, JMH), pp. 113–122.

LFP-1984-GabrielM #lisp #multi

Queue-based Multi-processing Lisp (RPG, JM), pp. 25–44.

LFP-1984-Halstead #implementation #lisp #multi

Implementation of Multilisp: Lisp on a Multiprocessor (RHHJ), pp. 9–17.

LFP-1984-Lieberman #debugging #lisp #tool support #towards

Steps Toward Better Debugging Tools for Lisp (HL), pp. 247–255.

LFP-1984-Moon #garbage collection #lisp #scalability

Garbage Collection in a Large Lisp System (DAM), pp. 235–246.

LFP-1984-OkunoTOHW #lisp #named

TAO: Afst Interpreter-Centered Lisp System on Lisp Machine ELIS (HGO, IT, NO, YH, KW), pp. 140–149.

LFP-1984-StefanPBB #lisp #named

DIALISP — A Lisp Machine (GS, AP, VB, AB), pp. 123–128.

LFP-1984-Stoyan #lisp

Early LISP History (1956-1959) (HS), pp. 299–310.

LFP-1984-WholeyF #design #lisp #set

The Design of an Instruction Set for Common Lisp (SW, SEF), pp. 150–158.

POPL-1984-Smith #lisp #semantics

Reflection and Semantics in Lisp (BCS), pp. 23–35.

SCC-1982-BrooksGS #compilation #lisp #optimisation

An Optimizing Compiler for Lexically Scoped LISP (RAB, RPG, GLSJ), pp. 261–275.

SCC-1982-GrissBH #compilation #lisp

Current Status of a Portable Lisp Compiler (MLG, EB, ACH), pp. 276–283.

LFP-1982-BrooksGS #implementation #lisp

S-1 Common Lisp Implementation (RAB, RPG, GLSJ), pp. 108–113.

LFP-1982-Dawson #effectiveness #garbage collection #lisp #realtime

Improved Effectiveness from a Real Time Lisp Garbage Collector (JLD), pp. 159–167.

LFP-1982-GabrielM #lisp #performance

Performance of Lisp Systems (RPG, LM), pp. 123–142.

LFP-1982-GotoSIIIHSSP #design #lisp

Design of a Lisp Machine — FLATS (EG, TS, NI, TI, MI, KH, MS, KS, BP), pp. 208–215.

LFP-1982-GrissBM #lisp #named

PSL: A Portable LISP System (MLG, EB, GQMJ), pp. 88–97.

LFP-1982-Gutierrez #lisp #prolog

Prolog Compared with Lisp (CG), pp. 143–149.

LFP-1982-ReesA #lisp #named

T: A Dialect of Lisp or, LAMBDA: The Ultimate Software Tool (JR, NA), pp. 114–122.

LFP-1982-Steele #bibliography #lisp

An Overview of Common Lisp (GLSJ), pp. 98–107.

ASPLOS-1982-SansonnetCPBP #architecture #execution #lisp

Direct Execution of Lisp on a List-Directed Architecture (JPS, MC, CP, DB, JP), pp. 132–139.

ILPC-1982-Kahn82 #lisp #prolog #source code

A Partial Evaluator of Lisp Programs Written in Prolog (KMK), pp. 19–25.

ILPC-1982-PerceboisS82 #prolog

A Lisp-machine to Implement Prolog (CP, JPS), pp. 45–51.

DAC-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.

LISP-1980-BurtonMBHKS #bibliography #lisp

Overview and Status of DoradoLISP (RRB, LM, DGB, WH, RMK, BAS), p. 243–?.

LISP-1980-CampbellF #lisp

Symbolic Computing with and without Lisp (JC, JPF), pp. 1–5.

LISP-1980-Deutsch #implementation

ByteLisp and its Alto Implementation (LPD), pp. 231–242.

LISP-1980-EmanuelsonH #compilation #embedded #lisp #on the

On Compiling Embedded Languages in LISP (PE, AH), pp. 208–215.

LISP-1980-Greenberg #emacs #lisp #multi

Prose and CONS — Multics Emacs: A Commercial Text-processing System in LISP (BG), pp. 6–12.

LISP-1980-Marti #compilation #concurrent #control flow #lisp

Compilation Techniques for a Control-Flow Concurrent LISP System (JM), pp. 203–207.

LISP-1980-MasinterD #compilation #lisp #optimisation

Local Optimization in a Compiler for Stack-based LISP Machines (LM, LPD), pp. 223–230.

LISP-1980-McDermott #interpreter #lisp #performance

An Efficient Environment Allocation Scheme in an Interpreter for a Lexically-Scoped LISP (DVM), pp. 154–162.

LISP-1980-McKayS #lisp #multi #named

MULTI — A LISP Based Multiprocessing System (DPM, SCS), pp. 29–37.

LISP-1980-Model #lisp #multi

Multiprocessing via Intercommunicating LISP Systems (MM), pp. 188–195.

LISP-1980-MuchnickP #comparison #lisp #semantics

A Semantic Comparison of LISP and Scheme (SSM, UFP), pp. 56–64.

LISP-1980-Pitman #lisp

Special Forms in LISP (KMP), pp. 179–187.

LISP-1980-Print #parallel

Explicit Parallelism in LISP-like Languages (GP), pp. 13–18.

LISP-1980-Rowan #compilation #lisp

A LISP Compiler Producing Compact Code (WR), pp. 216–222.

LISP-1980-Steele #abstraction #lisp

Strategies for Data Abstraction in LISP (BS), pp. 173–178.

LISP-1980-White #lisp #memory management

Address/Memory Management for a Gigantic LISP Environment (JW), pp. 119–127.

POPL-1979-JonesM #analysis #optimisation

Flow Analysis and Optimization of Lisp-Like Structures (NDJ, SSM), pp. 244–256.

POPL-1978-Haraldsson #compilation #lisp

A Partial Evaluator, Its Use for Compiling Iterative Statements in Lisp (AH), pp. 195–202.

STOC-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.

ICALP-1976-Cartwright #data type #lisp #source code #verification

User-Defined Data Types as an Aid to Verifying LISP Programs (RC), pp. 228–256.

POPL-1976-Summers #lisp

A Methodology for Lisp Program Construction from Examples (PDS), pp. 68–76.

LISP-1963-Dulock #algebra #lisp #symmetry

LISP. Applications to Symmetric group, Dirac groups and Lie algebras (VD), p. 1.

LISP-1963-Edwards #lisp

Secondary Storage in LISP (DE), p. 2.

LISP-1963-Evans #lisp #string

Character String manipulation in LISP (TE), p. 3.

LISP-1963-Hart #lisp #metaprogramming

Macro Instructions for LISP (TH), p. 4.

LISP-1963-Hawkinson #data type #lisp

Data structures and arrangements in LISP (LH), p. 5.

LISP-1963-Hearn #graph #lisp

LISP. Computation of Feynman Graphs (ACH), p. 6.

LISP-1963-Levin #algebra #compilation #lisp

Algebraic Compiler with LISP (ML), p. 7.

LISP-1963-McCarthy #compilation #lisp

The LISP 2 Compiler (JM), p. 8.

LISP-1963-McIntosh #lisp

The use of operator predicates in LISP (HVM), p. 9.

LISP-1963-Thomas #array #lisp #source code

Use of arrays in LISP. Group theory programs (BST), p. 11.

LISP-1963-Williams #lisp

A LISP Page plotter (JW), p. 13.

LISP-1963-Wooldridge #algebra #lisp

An Algebraic Simplify Program in LISP (DW), p. 14.

LISP-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.