LISP, Lore, and Logic (original) (raw)

Overview

Authors:

W. Richard Stark
1. Department of Mathematics, University of South Florida, Tampa, USA

3407 Accesses
1 Citation
5 Altmetric

Access this book

Other ways to access

About this book

Here is a presentation of LISP which is both practical and theoretical. For the practical, the syntax of the language, the programming styles, and the semantics of computation are carefully developed. For the theoretical, the algebra of interpreters, the lambda calculus as a foundation for LISP, and the algebraic significance of LISP's approach to artificial intelligence are discussed. As the title suggests, the book reaches beyond the technical side of LISP to present colorful applications, historical comments and quotations, computational philosophy, consequences of LISP's exceptional power, and much more. The material has been designed to appeal to a variety of readers, from the bright freshman to the practicing professional, and from computer scientists and mathematicians to chemists, engineers, and philosophers.

Introduction

Table of contents (10 chapters)

Authors and Affiliations

Department of Mathematics, University of South Florida, Tampa, USA

W. Richard Stark

Accessibility Information

PDF accessibility summary

This PDF is not accessible. It is based on scanned pages and does not support features such as screen reader compatibility or described non-text content (images, graphs etc). However, it likely supports searchable and selectable text based on OCR (Optical Character Recognition). Users with accessibility needs may not be able to use this content effectively. Please contact us at accessibilitysupport@springernature.com if you require assistance or an alternative format.

Bibliographic Information

Book Title: LISP, Lore, and Logic
Book Subtitle: An Algebraic View of LISP Programming, Foundations, and Applications
Authors: W. Richard Stark
DOI: https://doi.org/10.1007/978-1-4613-8931-6
Publisher: Springer New York, NY
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag New York, Inc. 1990
Softcover ISBN: 978-0-387-97072-1Published: 20 February 1990
eBook ISBN: 978-1-4613-8931-6Published: 06 December 2012
Edition Number: 1
Number of Pages: XVIII, 278
Number of Illustrations: 14 b/w illustrations
Topics: Programming Languages, Compilers, Interpreters, Programming Techniques, Artificial Intelligence, Logics and Meanings of Programs