£138.79

Springer Call-By-Push-Value: A Functional/Imperative Synthesis 2

Name: Springer Call-By-Push-Value: A Functional/Imperative Synthesis 2
Brand: Springer
Price: 138.79 GBP
Availability: InStock

Compilers

It has never been this cheap. We have no record of a lower price.

£139 today · cheaper than every other day in the last 3 months

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 29 days • 29 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 29 days • 1 price levels

Days at Price

Price Analysis

Most common price: £139 (29 days, 100.0%)

Price range: £139 - £139

Price levels: 1 different prices over 29 days

Description

Explore the fundamentals of programming language paradigms with Call-By-Push-Value: A Functional/Imperative Synthesis. This monograph from Springer provides a deep look into a paradigm that breaks down call-by-value and call-by-name into simple primitives. Designed specifically for graduate students and researchers, the text offers a clear path through complex theoretical structures. By studying this work, readers gain exposure to the call-by-push-value structure that exists beneath many different semantics. The content covers essential topics such as operational semantics, domains, possible worlds, continuations, and games. This book serves as a specialized resource for those studying compilers and the mathematical foundations of computation, providing the necessary depth for advanced academic research in the field of computer science.

Key Features

Explores the call-by-push-value paradigm which simplifies call-by-value and call-by-name into basic primitives.

Provides academic depth suitable for graduate students and professional researchers in computer science.

Covers a wide range of semantics including operational semantics, domains, and possible worlds.

Includes detailed analysis of advanced computational concepts like continuations and games.

Part of the Semantics Structures in Computation series for consistent academic quality.

Product Specifications

Brand: Springer
Format: hardcover
ASIN: 1402017308
Category: Books > Subjects > Computing & Internet > Programming > Compilers
Domain: Amazon UK
Release Date: 30 November 2003
Listed Since: 22 December 2006

Barcode

No barcode data available

Springer Call-By-Push-Value: A Functional/Imperative Synthesis 2

It has never been this cheap. We have no record of a lower price.

Price History & Forecast

Price Distribution

Price Analysis

Description

Key Features

Product Specifications

Barcode

Similar Products You Might Like

Call-By-Push-Value: A Functional/Imperative Synthesis: 2 (Semantics Structures in Computation, 2)

Vacuum Physics and Techniques: 6 (CRC Monographs on Statistics & Applied Probability (Hardcover))

2014 Proceedings of the ASME 2014 Pressure Vessel and Piping Conference (PVP2014) Volume 6: Parts A & B, Materials and Fabrication

2014 Proceedings of the ASME 2014 Pressure Vessels and Piping Conference (PVP2014) Volume 1: Codes and Standards

2014 Proceedings of the ASME 2014 Pressure Vessels and Piping Conference (PVP2014) Volume 4: Fluid-Structure Interaction

Print Proceedings of the ASME 2017 Pressure Vessels and Piping Conference (PVP2017): Volumes 6A and 6B

BRILLIANT TOOLS BT541070 Compressed Air Valve Spring Assembly Tool Set | 8 Pieces [Powered by KS Tools]

2014 Proceedings of the ASME 2014 Pressure Vessels and Piping Conference (PVP2014) Volume 7: Operations, Applications and Components

2014 Proceedings of the ASME 2013 Pressure Vessels and Piping Conference (PVP2013): Volume 4 Fluid-Structure Interaction: Held 14-18 July 2013, Paris, France

BGS 1878 | Valve Spring Compressor | 35 - 200 mm

Print Proceedings of the ASME 2018 Pressure Vessels and Piping Conference (PVP2018): Volume 4: Fluid-Structure Interaction

Print Proceedings of the ASME 2018 Pressure Vessels and Piping Conference (PVP2018): Volume 1B: Codes and Standards

2014 Proceedings of the ASME 2014 Pressure Vessels and Piping Conference (PVP2014) Volume 3: Design and Analysis

Audiovisual Quality Assessment and Prediction for Videotelephony (T-Labs Series in Telecommunication Services)

Print Proceedings of the ASME 2018 Pressure Vessels and Piping Conference (PVP2018): Volume 3B: Design and Analysis

Print Proceedings of the ASME 2018 Pressure Vessels and Piping Conference (PVP2018): Volume 1A: Codes and Standards

Print Proceedings of the ASME 2018 Pressure Vessels and Piping Conference (PVP2018): Volumes 6A & 6B: Materials and Fabrication

ABA Beul 65005.006.11 Water Valve Plug Coupling with Backflow Preventer System 3/4 Stainless Steel 3/4 Inch

2013 Proceedings of the ASME 2013 Pressure Vessels and Piping Conference (PVP2013): Volume 6 Part B Mater: Held 14-18 July 2013, Paris, France

Jolly Pets Push-n-Play Dog Toy, 35 cm, Blue

Blue Print ADT36846C Suction Control Valve

Print proceedings of the ASME 2018 Pressure Vessels and Piping Conference (PVP2018): Volume 1A & Volume 1B: Codes and Standards

Bosch 0281002829 Pressure Regulator

KS Tools 460.3870 Valve Spring Compressor for Scania, White