Call-By-Push-Value [electronic resource] : A Functional/Imperative Synthesis

• Tác giả: P.B Levy
• ISBN-13: 978-9400709546
• Ký hiệu phân loại: 005.45 Programming language translators
• Thông tin xuất bản: Dordrecht : Springer Netherlands : Imprint: Springer, 2003.
• Mô tả vật lý: XLI, 352 p. , online resource.
• Bộ sưu tập: Tài liệu truy cập mở
• ID: 317275
• Chủ đề: 1. Algebra, Homological; 2. Compilers (Computer programs); 3. Computer science—Mathematics; 4. Compilers and Interpreters; 5. Mathematics of Computing

Tóm tắt

Call-by-push-value is a programming language paradigm that, surprisingly, breaks down the call-by-value and call-by-name paradigms into simple primitives. This monograph, written for graduate students and researchers, exposes the call-by-push-value structure underlying a remarkable range of semantics, including operational semantics, domains, possible worlds, continuations and games.