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

Mobile Computation with Functions (Advances in Information Security)


On Sale Now! Save 6% on the Mobile Computation with Functions (Advances in Information Security) by Zeliha Dilsun Kirli at EMS Linux. MPN: black & white illustrations. Hurry! Limited time offer. Offer valid only while supplies last. Mobile Computation with Functions explores distributed computation with languages which adopt functions as the main programming abstraction and


Product Description

Mobile Computation with Functions explores distributed computation with languages which adopt functions as the main programming abstraction and support code mobility through the mobility of functions between remote sites. It aims to highlight the benefits of using languages of this family in dealing with the challenges of mobile computation. The possibility of exploiting existing static analysis techniques suggests that having functions at the core of mobile code language is a particularly apt choice. A range of problems which have impact on the safety, security and performance are discussed. It is shown that types extended with effects and other annotations can capture a significant amount of information about the dynamic behavior of mobile functions, and offer solutions to the problems under investigation. This book includes a survey of the languages Concurrent ML, Facile and PLAN which inherit the strengths of the functional paradigm in the context of concurrent and distributed computation. The languages which are defined in the subsequent chapters have their roots in these languages.

Additional Information

Manufacturer:Springer
Brand:Zeliha Dilsun Kirli
Part Number:black & white illustrations
Publisher:Springer
Studio:Springer
MPN:black & white illustrations
EAN:9781461353485
Item Weight:0.5 pounds
Item Size:0.36 x 9.25 x 9.25 inches
Package Weight:0.55 pounds
Package Size:6.1 x 0.36 x 0.36 inches

Mobile Computation with Functions (Advances in Information Security) by Zeliha Dilsun Kirli

Buy Now:
Mobile Computation with Functions (Advances in Information Security)

Brand: Zeliha Dilsun Kirli
4.5 out of 5 stars with 49 reviews
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$139.00
$131.00
You Save: 6%


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 Zeliha Dilsun Kirli, 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: 9783642551970, isbn: 3642551971,
This book takes a foundational approach to the semantics of probabilistic programming. It elaborates a rigorous Markov chain semantics for the probabilistic typed lambda calculus, which is the typed lambda calculus with recursion plus probabilistic c...

mpn: 21 black & white illustrations, biograph, ean: 9781475765380, isbn: 147576538X,
For more and more systems, software has moved from a peripheral to a central role, replacing mechanical parts and hardware and giving the product a competitive edge. Consequences of this trend are an increase in: the size of software systems, the var...

ean: 9780521416955, isbn: 0521416957,
This book shows how continuation-passing style is used as an intermediate representation to perform optimizations and program transformations. Continuations can be used to compile most programming languages. The method is illustrated in a compiler fo...

ean: 9780471971818, isbn: 0471971812,

ean: 9780521033114, isbn: 052103311X,
This book shows how continuation-passing style is used as an intermediate representation to perform optimizations and program transformations. Continuations can be used to compile most programming languages. The method is illustrated in a compiler fo...

mpn: biography, ean: 9783540891840, isbn: 3540891846,
Over time, basic research tends to lead to specialization – increasingly narrow t- ics are addressed by increasingly focussed communities, publishing in increasingly con ned workshops and conferences, discussing increasingly incremental contri- tio...

ean: 9780387971452, isbn: 0387971459,
The Technology of Sun M icrosystems Two years ago, Sun Microsystems began publishing a quarterly tech­ nical journal, Sun Technology: The Journal for Sun Users. Since then, its pages have explored in detail diverse technology and products relating t...

ean: 9783540164791, isbn: 3540164790,
Format Paperback Subject Computers Internet Publisher Springer...

ean: 9780387717388, isbn: 0387717382,
Verification is increasingly complex, and SystemVerilog is one of the languages that the verification community is turning to. However, no language by itself can guarantee success without proper techniques. Object-oriented programming (OOP), with its...

ean: 9783642137532, isbn: 3642137539,
This volume is dedicated to the memory of  the 1996 Turing Award winner Amir Pnueli. It contains articles written by leading scientists that span the breadth of Pnueli’s scientific work, with a focus on the development and the application of forma...



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