Mobile Computation with Functions

By: Zeliha Dilsun Kirli

Write A Review

Hardcover | 30 April 2002

At a Glance

Hardcover
156 Pages

Dimensions(cm)
24.13 x 16.51 x 1.91

Hardcover

$169.00

or 4 interest-free payments of $42.25 with

or

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

More in Communications Engineering & Telecommunications

Amusing Ourselves to Death : Public Discourse in the Age of Show Business - Neil Postman

$22.99

15%
OFF

Hooked

How to Build Habit-Forming Products

Hardcover

RRP $27.99

$23.75

15%
OFF

iPhone For Seniors For Dummies, 2026 Edition : iPhone for Seniors For Dummies - Dwight Spivey

$141.75

14%
OFF

Atlas of AI

Power, Politics, and the Planetary Costs of Artificial Intelligence

Paperback

RRP $26.95

$22.99

15%
OFF

iPhone For Dummies, 2026 Edition : iPhone for Dummies - Guy Hart-Davis

$109.75

23%
OFF

A First Course in Digital Communications

Hardcover

RRP $139.95

$105.75

24%
OFF

Code Dependent

Living in the Shadow of AI - Shortlisted for the Women's Prize for Non-Fiction

Paperback

RRP $36.99

$28.75

22%
OFF

Magic Rays of Light : The Early Years of Television in Britain - John Wyver

$44.75

Preface	p. ix
Acknowledgments	p. xiii
Introduction	p. xv
Mobile computation with functions	p. xv
Type and effect based static analysis	p. xvi
Overview of the book	p. xvii
Towards Mobile Functions	p. 1
Concurrent and distributed computation	p. 2
Concurrency	p. 2
Distribution and mobility	p. 3
Safety and security	p. 7
ML with concurrency and distribution	p. 10
Concurrent ML	p. 10
Facile	p. 13
Packet Language for Active Networks	p. 16
Conclusions	p. 20
A Core language for mobile code	p. 21
Aims and approach	p. 21
The Core Language	p. 21
Evaluation rules	p. 22
Type system	p. 24
Estimating Mobile Values	p. 27
Application areas	p. 28
Compiler optimizations	p. 28
Cost profiling	p. 28
Potential mobility	p. 29
Mobile functions	p. 30
Mobile channels	p. 31
Related work	p. 31
Mobile-[lambda]	p. 32
Abstract syntax	p. 32
Dynamic semantics	p. 33
Type system	p. 37
Semantic objects	p. 38
Typing rules	p. 41
Examples	p. 43
Formal properties of the type system	p. 44
Types for intermediate expressions	p. 45
Type soundness	p. 46
Principal typing	p. 49
Static estimation	p. 49
Extracting labels	p. 49
Soundness	p. 50
Concluding Remarks	p. 51
Distributed Call-Tracking	p. 53
Security through language restrictions	p. 54
Termination and resource bounds	p. 54
Isolation and strong typing	p. 55
Exploiting static analysis	p. 55
rEval-[lambda]	p. 56
Abstract syntax	p. 56
Dynamic semantics	p. 56
Examples	p. 59
A Monomorphic type system	p. 61
Semantic objects	p. 61
Typing rules	p. 62
Examples	p. 64
Formal properties	p. 65
A Polymorphic type system	p. 67
Semantic objects	p. 67
Typing rules	p. 68
Examples	p. 69
Formal properties	p. 71
Concluding remarks	p. 72
Confined Mobile Functions	p. 75
Why restrict mobility?	p. 75
Computing with mobility regions	p. 76
System model	p. 76
Mobility regions	p. 77
Confined-[lambda]	p. 78
Abstract syntax	p. 78
Dynamic semantics	p. 78
Examples	p. 79
Semantic objects	p. 82
Typing rules	p. 83
Formal properties	p. 85
Confinement in a mobility region	p. 85
Strong confinement	p. 86
Related work	p. 87
Concluding remarks	p. 90
Noninterference and Mobile Functions	p. 93
Noninterference	p. 93
A general characterization	p. 94
A restriction on the input/output relation	p. 94
Closer look at Mobile-[lambda]	p. 95
Conditional expressions	p. 95
Example	p. 96
Secure Mobile-[lambda]	p. 97
Abstract syntax	p. 97
Dynamic semantics	p. 97
Type system	p. 101
Semantic objects	p. 101
Typing rules	p. 101
Formal properties	p. 104
Consistency	p. 104
Noninterference	p. 107
Concluding remarks	p. 110
Conclusions	p. 113
Natural support for code mobility	p. 113
Type systems and security	p. 114
Further work	p. 114
Appendices	p. 117
Selected Proof Cases	p. 117
Selected proof cases from Chapter 3	p. 117
Selected proof cases from Chapter 4	p. 119
Selected proof cases from Chapter 5	p. 120
Table of Contents provided by Syndetics. All Rights Reserved.

Mobile Computation with Functions

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

Other Editions and Formats

Paperback

More in Communications Engineering & Telecommunications

Amusing Ourselves to Death

Public Discourse in the Age of Show Business

ICT Systems and Sustainability

Proceedings of ICT4SD 2025, Volume 3

Data Science and Network Engineering

Proceedings of ICDSNE 2025

Digital Minimalism

Choosing a Focused Life in a Noisy World

Hooked

How to Build Habit-Forming Products

iPhone For Seniors For Dummies, 2026 Edition

iPhone for Seniors For Dummies

Mobile Networks

Protocols and Applications

Communication Networks

Technologies and Applications

Telecommunications

A Systems Approach

Understanding Wifi Technology

Mobile Computing and Communications

Recent Advances in Compact Antennas

Modern Antenna Systems

Theory and Applications

Control Systems Engineering 8th Edition

Australia & New Zealand Edition

Atlas of AI

Power, Politics, and the Planetary Costs of Artificial Intelligence

iPhone For Dummies, 2026 Edition

iPhone for Dummies

Fundamentals of Wireless Communication

A First Course in Digital Communications

Code Dependent

Living in the Shadow of AI - Shortlisted for the Women's Prize for Non-Fiction

Magic Rays of Light

The Early Years of Television in Britain

Magic Rays of Light

The Early Years of Television in Britain

Constraints and Advanced Solutions for LTE-Advanced Heterogeneous Networks

Microphone

Object Lessons

Empathy Machines

This American Life, Podcasting, and the Public Radio Structure of Feeling

This product is categorised by