Login       My Wishlist
  My Cart
$0.00 / 0 items
 
EMS Linux
Utilizing the Best Tools With Linux
 
International Access
Global Shipping Options Available
Home About Us News Our Blog Our Catalog My Cart My Account Track Shippment Contact Us
  Our Catalog   Languages & Tools   Compilers

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


Mega Sale! Save 26% on the Call-By-Push-Value: A Functional/Imperative Synthesis (Semantics Structures in Computation) (Volume 2) by Springer at EMS Linux. MPN: biography. Hurry! Limited time offer. Offer valid only while supplies last. Call-by-push-value is a programming language paradigm that, surprisingly, breaks down the call-by-value and call-by-name paradigms into simple


Product Description

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.

Additional Information

Manufacturer:Springer
Part Number:biography
Publisher:Springer
Studio:Springer
MPN:biography
EAN:9789401037525
Item Weight:0 pounds
Item Size:0.9 x 9.45 x 9.45 inches
Package Weight:1.39 pounds
Package Size:6.3 x 0.9 x 0.9 inches

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

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

Brand: Springer
4.3 out of 5 stars with 7 reviews
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$249.00
$185.61
You Save: 25%


Quantity:  

 


View More In Compilers.

 


Have questions about this item, or would like to inquire about a custom or bulk order?


If you have any questions about this product by Springer, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.

First Name:
Last Last:
Email Address:
Your Message:

Related Best Sellers


ean: 9783540311874, isbn: 3540311874,
This is the first textbook treatment of the algebraic approach to graph transformation, based on algebraic structures and category theory. It contains an introduction to classical graphs. Basic and advanced results are first shown for an abstract for...

sku: 9780470949597, mpn: 9780470949597, ean: 9780470949597, isbn: 0470949597,
Broad in scope, involving theory, the application of that theory, and programming technology, compiler construction is a moving target, with constant advances in compiler technology taking place. Today, a renewed focus on do-it-yourself programming m...

mpn: 1 black & white tables, biography, ean: 9781848827356, isbn: 1848827350,
Through fundamental contributions from leading researchers, this volume describes the use of formal modeling methods in the areas of requirements, design and validation. The self-contained chapters provide readers with rich background information and...

By TBS
ean: 8601400510285,
Will be shipped from US. Used books may not include companion materials, may have some shelf wear, may contain highlighting/notes, may not include CDs or access codes. 100% money back guarantee....

mpn: 41 black & white illustrations, biograph, ean: 9783642307423, isbn: 3642307426,
This Festschrift published in honor of Vladimir Lifschitz on the occasion of his 65th birthday presents 39 articles by colleagues from all over the world with whom Vladimir Lifschitz had cooperation in various respects. The 39 contributions reflect t...

ean: 9781447111658, isbn: 1447111656,
This book is a minor revision of the thesis submitted in August 1996; no major changes have been made. However, I would like to take this opportunity to mention that since the thesis was written, discoveries have been made which would allow a substan...

ean: 9780387945712, isbn: 0387945717,
AutoCAD is the most widely used computer-aided design package in the world. Underneath AutoCAD is a powerful computing language called AutoLISP. This language is designed to automate many functions of AutoCAD. This book is a hands-on introduction to ...

mpn: biography, ean: 9781461264453, isbn: 1461264456,
By developing object calculi in which objects are treated as primitives, the authors are able to explain both the semantics of objects and their typing rules, and also demonstrate how to develop all of the most important concepts of object-oriented p...

mpn: 100 black & white illustrations, biograp, ean: 9783642208348, isbn: 3642208347,
"Principles of Compilers: A New Approach to Compilers Including the Algebraic Method" introduces the ideas of the compilation from the natural intelligence of human beings by comparing similarities and differences between the compilations of natural ...

sku: BD3072705, mpn: 3 black & white tables, biography, ean: 9781849966559, isbn: 1849966559,
This book brings Network Calculus closer to the network professional and will also have real appeal for postgraduates studying network performance. It provides valuable analytical tools and uses J as a means of providing a practical treatment of the ...



Privacy Policy / Terms of Service
© 2018 - emslinux.com. All Rights Reserved.