Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
O'Donnel M.J. — Computing in systems described by equations
O'Donnel M.J. — Computing in systems described by equations



Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Computing in systems described by equations

Автор: O'Donnel M.J.

Аннотация:

This monograph is an attempt to provide some useful mathematical foundations for the design of interpreters for functional programming languages such as LISP. These languages are often described by sets of equations. One way to attack the problem of interpreting is to study ways of using equations to compute simple output expressions from input expressions. Such computations are studied here in terms of an abstract formalism called a Subtree Replacement System. With the hints given in Example 17 and Appendix A, a good programmer should be able to design efficient implementations of the abstract computations in a pointer manipulation system with garbage collection, and all of the mathematical results are intended to give useful information on the correctness, termination and efficiency properties of such implementations.


Язык: en

Рубрика: Математика/

Статус предметного указателя: Неизвестно

ed2k: ed2k stats

Год издания: 1977

Количество страниц: 125

Добавлена в каталог: 10.12.2013

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте