Call-By-Push-Value

Call-By-Push-Value
Author :
Publisher : Springer Science & Business Media
Total Pages : 381
Release :
ISBN-10 : 9789400709546
ISBN-13 : 9400709544
Rating : 4/5 (46 Downloads)

Book Synopsis Call-By-Push-Value by : P.B. Levy

Download or read book Call-By-Push-Value written by P.B. Levy and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 381 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Call-By-Push-Value Related Books

Call-By-Push-Value
Language: en
Pages: 381
Authors: P.B. Levy
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

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
Programming Languages and Systems
Language: en
Pages: 618
Authors: Ilya Sergey
Categories: Computers
Type: BOOK - Published: 2022-03-28 - Publisher: Springer Nature

DOWNLOAD EBOOK

This open access book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April 5-7, 2022, in Munich, Ge
Programming Languages and Systems
Language: en
Pages: 820
Authors: Luís Caires
Categories: Computers
Type: BOOK - Published: 2019-04-05 - Publisher: Springer

DOWNLOAD EBOOK

This open access book constitutes the proceedings of the 28th European Symposium on Programming, ESOP 2019, which took place in Prague, Czech Republic, in April
Logic-Based Program Synthesis and Transformation
Language: en
Pages: 215
Authors: Robert Glück
Categories: Computers
Type: BOOK - Published: 2023-11-16 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 33rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2023, held in Cas
Computer Science Logic
Language: en
Pages: 630
Authors: Julian Bradfield
Categories: Computers
Type: BOOK - Published: 2003-08-02 - Publisher: Springer

DOWNLOAD EBOOK

The Annual Conference of the European Association for Computer Science Logic, CSL 2002, was held in the Old College of the University of Edinburgh on 22–25 Se