Papers on Lisp

prev next

site map




Allard, James R. and Hawkinson, Lowell B., Real-time programming in Common Lisp, Commun. ACM 34, 9 (Sept. 1991), 64-69. [Index Terms and Review]

Barber, Richard and Imlah, George, Delivering the goods with Lisp, Commun. ACM 34, 9 (Sept. 1991), 61-63. [Index Terms and Review]

Barstow, David, On convergence toward a database of program transformations, ACM Trans. Program. Lang. Syst. 7, 1 (Jan. 1985), 1-9. [Index Terms and Review]

Cameron, Robert D., Efficient high-level iteration with accumulators, ACM Trans. Program. Lang. Syst. 11, 2 (April 1989), 194-211. [Index Terms and Review]

Demasco, Patrick W. and McCoy, Kathleen F., Generating text from compressed input : an intelligent interface for people with severe motor impairments, Commun. ACM 35, 5 (May 1992), 68-78. [Index Terms and Review]

Ditzel, Schuler and Thomas, A Lisp Machine Profile: Symbolics 3650, AI Expert, (January 1987).

Donahue, James and Demers, Alan, Data types are values, ACM Trans. Program. Lang. Syst. 7, 3 (July 1985), 426-445. [Index Terms and Review]

Falcone, Joseph R., A programmable interface language for heterogeneous distributed systems, ACM Trans. Comput. Syst. 5, 4 (Nov. 1987), 330-351. [Index Terms and Review]

Fateman, Richard J., Broughan, Kevin A., Willcock, Diane K. and Rettig, Duane, Fast floating-point processing in Common Lisp, ACM Trans. Math. Softw. 21, 1 (March 1995), 26-62. [Abstract, Index Terms and Review]

Foderaro, John, LISP : introduction, Commun. ACM 34, 9 (Sept. 1991), 27. [Index Terms and Review]

Gabriel, Richard P., White, Jon L. and Bobrow, Daniel G., CLOS : integrating object-oriented and functional programming, Commun. ACM 34, 9 (Sept. 1991), 28-38. [Index Terms and Review]

Gabriel, Richard P. "Good News, Bad News: How to Win Big", 1994. Describes some directions Lisp implementors might wish to take. It is available on-line and via ftp.

Gajek, Oliver, The Metal system, Commun. ACM 34, 9 (Sept. 1991), 46-47. [Index Terms and Review]

Graham, Paul, Anatomy of a Lisp Machine, AI Expert (December 1988).

Halstead, Robert H., Jr., MULTILISP: a language for concurrent symbolic computation, ACM Trans. Program. Lang. Syst. 7, 4 (Oct. 1985), 501-538. [Index Terms and Review]

Haynes, Christopher T. and Friedman, Daniel P., Embedding continuations in procedural objects, ACM Trans. Program. Lang. Syst. 9, 4 (Oct. 1987), 582-598. [Index Terms and Review]

Hudak, Paul, Conception, evolution, and application of functional programming languages, ACM Comput. Surv. 21, 3 (Sep. 1989), 359-411. [Index Terms and Review]

Landi, William, Undecidability of static analysis, ACM Lett. Program. Lang. Syst. 1, 4 (Dec. 1992), 323-337. [Abstract and Index Terms]

Layer, D. Kevin and Richardson, Chris, Lisp systems in the 1990s, Commun. ACM 34, 9 (Sept. 1991), 48-57. [Index Terms and Review]

Loeckx, Jacques, Algorithmic specifications: a constructive specification method for abstract data types, ACM Trans. Program. Lang. Syst. 9, 4 (Oct. 1987), 646-661. [Index Terms and Review]

McCarthy, John. Recursive Functions of Symbolic Expressions and their Computation by Machine, Part I, CACM 3, 4 (April 1960), 185-195. [Defines five elementary functions on s-expressions.]

McCarthy, John. History of LISP. ACM Sigplan Not. 13,8 (Aug. 1978), 217-223. This also appeared in History of Programming Languages.

McCarthy, John. A Micro-Manual for Lisp -- not the whole Truth, ACM SIGPLAN Notices 13, 8, (August 1978), 215-216. [Defines the Lisp programming language in 10 rules and gives a small interpreter (eval) written in this Lisp.]


McKay, Scott, CLIM : the Common Lisp interface manager, Commun. ACM 34, 9 (Sept. 1991), 58-59. [Index Terms and Review]

Muller, Hans, LispView : leverage through integration, Commun. ACM 34, 9 (Sept. 1991), 59-61. [Index Terms and Review]

Muller, Robert, M-LISP: a representation-independent dialect of LISP with reduction semantics, ACM Trans. Program. Lang. Syst. 14, 4 (Oct. 1992), 589-616. [Abstract, Index Terms and Review] Pleszkun and Thazhuthaveetil, The Architecture of Lisp Machines, IEEE Computer (March 1987).

Sciore, Edward, Siegel, Michael and Rosenthal, Arnon, Using semantic values to facilitate interoperability among heterogeneous information systems, ACM Trans. Database Syst. 19, 2 (June 1994), 254-290. [Abstract, Index Terms and Review]

Shankar, N., A mechanical proof of the Church-Rosser theorem, J. ACM 35, 3 (July 1988), 475-522. [Index Terms and Review]

Sheard, Tim and Stemple, David, Automatic verification of database transaction safety, ACM Trans. Database Syst. 14, 3 (Sept. 1989), 322-368. [Index Terms and Review]

Sinclair, Kenneth H. and Moon, David A., The philosophy of Lisp, Commun. ACM 34, 9 (Sept. 1991), 40-47. [Index Terms and Review]

Moon, David A. Symbolics Architecture, IEEE Computer, January, 1987. pp. 43-54

Spooner, C. R., The ML approach to the readable all-purpose language, ACM Trans. Program. Lang. Syst. 8, 2 (April 1986), 215-243. [Index Terms and Review]

Stamos, James W. and Gifford, David K., Remote evaluation, ACM Trans. Program. Lang. Syst. 12, 4 (Oct. 1990), 537-564. [Index Terms and Review]

Steenkiste, Peter A. and Hennessy, John L., A simple interprocedural register allocation algorithm and its effectiveness for LISP, ACM Trans. Program. Lang. Syst. 11, 1 (Jan. 1989), 1-32. [Index Terms and Review]

Stewart, Rocky L., Biosphere 2 nerve system, Commun. ACM 34, 9 (Sept. 1991), 69-71. [Index Terms and Review]

Sullivan, Stephen J. and Zorn, Benjamin G., Numerical analysis using nonprocedural paradigms, ACM Trans. Math. Softw. 21, 3 (Sept. 1995), 267-298. [Abstract and Index Terms]

Touretzky, David S. and Lee, Peter, Visualizing evaluation in applicative languages, Commun. ACM 35, 10 (Oct. 1992), 49-59. [Index Terms and Review]

Waters, Richard C., Automatic transformation of series expressions into loops, ACM Trans. Program. Lang. Syst. 13, 1 (Jan. 1991), 52-98. [Abstract, Index Terms and Review]

Webber, Adam, Optimization of functional programs by grammar thinning, ACM Trans. Program. Lang. Syst. 17, 2 (March 1995), 293-330. [Abstract, Index Terms and Review]

Weerawarana, Sanjiva and Wang, Paul S., A portable code generator for CRAY FORTRAN, ACM Trans. Math. Softw. 18, 3 (Sept. 1992), 241-255. [Abstract, Index Terms and Review]

Wilkes, Maurice V., From Fortran and Algol to object-oriented languages, Commun. ACM 36, 7 (July 1993), 21-23. [Index Terms and Review]