Obecnie nie mamy tej książki w magazynie
Więcej o książce
The book introduces a framework that enhances functional programming languages by incorporating binding time notation, allowing for a clearer distinction between run-time and compile-time. It extends lambda calculus with this distinction and presents methods for integrating run-time combinators. The mixed lambda-calculus and combinatory logic are explored, utilizing "parametrized semantics" for code generation and abstract interpretation. The focus includes a new abstract machine design and a generalized strictness analysis, which improves code generation efficiency.
Zakup książki
Two-Level Functional Languages, Flemming Nielson, Hanne Riis Nielson
- Język
- Rok wydania
- 2005
- Oprawa
- (miękka)
Jak tylko się pojawi, wyślemy Ci wiadomość e-mail.
Metody płatności
Nikt jeszcze nie ocenił.
- Tytuł
- Two-Level Functional Languages
- Język
- angielski
- Autorzy
- Flemming Nielson, Hanne Riis Nielson
- Wydawca
- Cambridge University Press
- Rok wydania
- 2005
- Oprawa
- miękka
- Liczba stron
- 312
- ISBN13
- 9780521018470
- Tagi
- Opis
- The book introduces a framework that enhances functional programming languages by incorporating binding time notation, allowing for a clearer distinction between run-time and compile-time. It extends lambda calculus with this distinction and presents methods for integrating run-time combinators. The mixed lambda-calculus and combinatory logic are explored, utilizing "parametrized semantics" for code generation and abstract interpretation. The focus includes a new abstract machine design and a generalized strictness analysis, which improves code generation efficiency.