|
|
Каталог файлов
В категории материалов: 35
Показано материалов: 31-35 |
Страницы: « 1 2 3 4 |
Сортировать по:
Дате ·
Названию ·
Рейтингу ·
Комментариям ·
Загрузкам ·
Просмотрам
Год выпуска: 1978
Автор:JOHN ALLEN Язык: Английский Издательство: McGRAW-HILL BOOK
ISBN: 0-07-001115-X Формат: PDF Количество страниц: 463
Описание:This book is not up to date, this book is out-of-print, but if you're a lisp or scheme hacker you owe it to yourself to get a copy of this book any [legal] way you can. This is by far the most intelligent book ever written on LISP.
The book starts with the basics of symbolic computing, and then moves on: a detailed analysis of syntax (without taking any shortcuts on sexprs), interpretation, [a hasty introduction to] the lambda calculus, denotational semantics (!), compilation and code generation, the top-level and the run-time environment, including garbage collection. Special emphasis is placed on imperative LISP. All this described in 446 pages of a single book. This book packs about 5-6 different university courses in a single volume! The level of the discussion is high, there are plenty of examples of real code, but thankfully the author avoids many of the pitfalls of later books on Scheme and functional programming: (1) He doesn't employ the "running example" approach to writing computer books: Each example is small, very focused, and the discussion remains academic. (2) Formalisms are explained in quasi-mathematical lambda-notation, rather than by dumping source code on the poor reader.
This is a very rich source. The book discusses issues that other authors typically punt: labels and goto, side effects on constants (this is the ONLY book that mentions a problem known as The Anomaly of Quote), etc.
This is an old book, and it does not mention hygienic macro systems, continuations, object orientation, and other more recent topics. Nevertheless, while there are some awesome books written on LISP and Scheme, the Anatomy of LISP is by a far stretch the best written and most intelligently written.
Lisp |
Просмотров: 748 |
Загрузок: 296 |
Добавил: mihanyayalta |
Дата: 06.04.2011
|
|
Год выпуска: 1997
Язык: Английский Формат: PDF Количество страниц: 408
Описание: This book is for people who are interested in how Scheme works, or people who are interested in Scheme in terms of programming language design--as well as people who are just interested in using Scheme. There's not much conflict between these goals, since one of the best ways to learn Scheme--and important principles of language design--is to see how to implement Scheme, in Scheme. I'll illustrate the power of Scheme by showing a couple of simple interpreters for subsets of Scheme, and a simple compiler. A compiler for Scheme can be surprisingly simple and understandable. This is a fairly traditional approach, pioneered by Abelson and Sussman in Structure and Interpretation of Computer Programs, which is a widely used and excellent introductory programming text. This approach has been followed, more or less, in several other introductory books on Scheme programming. Most of those books, though, are for beginning programmers. While I think Scheme is a great first language, there are many people out there who've had to suffer through C or Pascal or whatever, and don't want to wade through an introductory programming book just to learn Scheme.
Lisp |
Просмотров: 620 |
Загрузок: 273 |
Добавил: mihanyayalta |
Дата: 06.04.2011
|
|
Год выпуска: 2009
Автор: Robert J. Chassell Язык: Английский Издательство: Revised Third Edition ISBN: 1-882114-43-4 Формат: PDF Количество страниц: 270
Описание: This tutorial an elementary introduction to teach non-programmers how to customize their work environment; it can also be used as an introduction to programming basics. It includes numerous exercises and sample programs; the author also walks you through the actual source code of several GNU Emacs commands. A handy reference appendix is included. Emacs Lisp is a simple, complete, and powerful programming language. It is the building block of GNU Emacs, which is an integrated development environment with special features for scanning and parsing text as well as for handling multiple files, buffers, displays, windows, and sub-processors. This book will show you: * how to set variables and write function definitions
* How to use "if" and "let"
* How to write "while" loops and recursive loops
* how to search for a word or expression
* how to customize GNU Emacs for yourself, even when it is shared on a network.
* how to debug programs
* and much more. This revised second edition covers new features included in GNU Emacs version 21, while remaining compatible with earlier versions.
Lisp |
Просмотров: 708 |
Загрузок: 281 |
Добавил: mihanyayalta |
Дата: 06.04.2011
|
|
Год выпуска: 2002
Автор:Taiichi Yuasa, Hiroshi G.Okuno Язык: Английский Издательство:London and New York ISBN: 0-203-30087-4 Формат: PDF Количество страниц: 247
Описание: This fourth volume in the Advanced Information Processing Technology series brings together Japanese researchers working in the field of Lisp technology and reflects the growing interest in parallel and distributed processing. Divided into four parts, the book examines Lisp systems design and implementation in a wide variety of parallel and distributed computing environments. It presents papers on language features such as evaluation strategy for parallel symbolic computation and extension of first-class continuations for parallel Scheme systems. Finally, it considers the programming environment. Advanced Lisp Technology is a valuable compilation of recent research in these fields.
Lisp |
Просмотров: 679 |
Загрузок: 271 |
Добавил: mihanyayalta |
Дата: 06.04.2011
|
|
Год выпуска: 2006
Автор:Eric C.R. Hehner Язык: Английский Издательство: Springer Verlag
Формат: PDFКоличество страниц: 242
Описание:Understanding programming and programming languages requires knowledge of the underlying theoretical model. This book explores aspects of programming that are amenable to mathematical proof. The author describes a programming theory which is much simpler and more comprehensive than the current theories to date. In the theoretical model, a specification is just a boolean expression and refinement is just an ordinary implication. The author develops a practical and broad method for writing precise specifications and designing programs whose executions probably satisfy the specifications. Beginning with preparatory material in logic, numbers, sets, lists, functions and relations, the book advances further into program theory, the heart of the book. Subsequent chapters may be selected or omitted according to course emphasis. The text will be useful to students in courses on programming methodology or verification at the advanced undergraduate or beginning graduate level, as well as for software engineers in the field. All technical terms are explained and then demonstrated in the book wherever possible. No advanced mathematical knowledge or programming language is assumed. The book contains numerous exercises and worked-out solutions for specific exercises. Transparency masters and solutions for the remaining exercises are available from the author.
Lisp |
Просмотров: 707 |
Загрузок: 262 |
Добавил: mihanyayalta |
Дата: 06.04.2011
|
|
|
|