Abstract computing machines : a lambda calculus perspective /
Saved in:
| Author / Creator: | Kluge, Werner (Werner E.) |
|---|---|
| Imprint: | Berlin ; New York : Springer, c2005. |
| Description: | 1 online resource (xiv, 384 p.) : 89 fig. |
| Language: | English |
| Series: | Texts in theoretical computer science Texts in theoretical computer science. |
| Subject: | |
| Format: | E-Resource Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/8875341 |
MARC
| LEADER | 00000cam a2200000Ia 4500 | ||
|---|---|---|---|
| 001 | 8875341 | ||
| 003 | ICU | ||
| 005 | 20120827145100.0 | ||
| 006 | m d | ||
| 007 | cr cn| | ||
| 008 | 080226s2005 gw ob 001 0 eng d | ||
| 016 | 7 | |z 970160852 |2 DE-101 | |
| 019 | |a 288204253 |a 317851579 |a 607271030 |a 646746073 | ||
| 020 | |a 9783540273592 | ||
| 020 | |a 354027359X | ||
| 020 | |a 3540211462 (hd. bd.) | ||
| 020 | |a 9783540211464 (hd. bd.) | ||
| 020 | |a 6611329765 | ||
| 020 | |a 9786611329761 | ||
| 035 | |a (OCoLC)209857214 |z (OCoLC)288204253 |z (OCoLC)317851579 |z (OCoLC)607271030 |z (OCoLC)646746073 | ||
| 037 | |a 978-3-540-21146-4 |b Springer |n http://www.springerlink.com | ||
| 040 | |a GW5XE |b eng |c GW5XE |d OCLCG |d NUI |d DKU |d DAY |d E7B |d UBC |d OCLCQ | ||
| 049 | |a CGUA | ||
| 072 | 7 | |a QA |2 lcco | |
| 082 | 0 | 4 | |a 511.3 |2 22 |
| 090 | |a QA267 |b .K58 2005eb | ||
| 100 | 1 | |a Kluge, Werner |q (Werner E.) |0 http://id.loc.gov/authorities/names/n92017940 |1 http://viaf.org/viaf/311155971 | |
| 245 | 1 | 0 | |a Abstract computing machines : |b a lambda calculus perspective / |c W. Kluge. |
| 260 | |a Berlin ; |a New York : |b Springer, |c c2005. | ||
| 300 | |a 1 online resource (xiv, 384 p.) : |b 89 fig. | ||
| 336 | |a text |b txt |2 rdacontent |0 http://id.loc.gov/vocabulary/contentTypes/txt | ||
| 337 | |a computer |b c |2 rdamedia |0 http://id.loc.gov/vocabulary/mediaTypes/c | ||
| 338 | |a online resource |b cr |2 rdacarrier |0 http://id.loc.gov/vocabulary/carriers/cr | ||
| 490 | 1 | |a Texts in theoretical computer science | |
| 504 | |a Includes bibliographical references (p. [369]-375) and index. | ||
| 520 | 1 | |a "This book takes a [lambda]-calculus approach to organizing computations. It sets out with a brief introduction to [lambda]-calculus, describes a variant of the classical SECD-machine as a basic interpreter for the [lambda]-calculus, and in the main part continues with fully normalizing abstract [lambda]-calculus machines, of which some are interpreting and some execute compiled code. The classical functional abstract machines are introduced as their weakly normalizing counterparts, and abstract machines for classical imperative languages are shown to derive from them by admitting side-effecting operations."--Jacket. | |
| 588 | |a Description based on print version record. | ||
| 650 | 0 | |a Machine theory. |0 http://id.loc.gov/authorities/subjects/sh85079341 | |
| 650 | 0 | |a Lambda calculus. |0 http://id.loc.gov/authorities/subjects/sh85074174 | |
| 655 | 4 | |a Electronic books. | |
| 650 | 7 | |a Lambda calculus. |2 fast |0 http://id.worldcat.org/fast/fst00991011 | |
| 650 | 7 | |a Machine theory. |2 fast |0 http://id.worldcat.org/fast/fst01004846 | |
| 776 | 0 | 8 | |i Print version: |a Kluge, Werner (Werner E.). |t Abstract computing machines. |d Berlin ; New York : Springer, c2005 |z 3540211462 |z 9783540211464 |w (DLC) 2004117887 |w (OCoLC)58467203 |
| 830 | 0 | |a Texts in theoretical computer science. |0 http://id.loc.gov/authorities/names/n94086963 | |
| 856 | 4 | 0 | |u http://dx.doi.org/10.1007/b138965 |y SpringerLink |
| 903 | |a HeVa | ||
| 035 | |a (ICU)8875341 | ||
| 929 | |a eresource | ||
| 999 | f | f | |i 5bf58e2d-8b85-55f7-bd73-e5c9a6ffae95 |s fc72af5c-059b-5740-8bf5-beca1ceed0de |
| 928 | |t Library of Congress classification |a QA267 .K58 2005eb |l Online |c UC-FullText |u http://dx.doi.org/10.1007/b138965 |z SpringerLink |g ebooks |i 11452685 | ||