Articoli correlati a Mobile Computation With Functions: 5
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
Preface. Acknowledgments. Introduction. 1. Mobile computation with functions. 2. Type and effect based static analysis. 3. Overview of the book. 1. Towards Mobile functions. Concurrent and Distributed computation. ML with concurrency and distribution. 2. Estimating Mobile Values. Application areas. Potential mobility. Mobile-lambda. Type system. Formal properties of the type system. Static estimation. 3. Distributed Call-Tracking. Security through language restrictions. rEval-lambda. A monomorphic type system. A Polymorphic type system. Concluding remarks. 4. Confined Mobile Functions. Why restrict mobility? Confined-lambda. Formal properties. Concluding remarks. 5. Noninterference and Mobile Functions. Noninterference. Secure Mobile-lambda. Type system. Formal properties. Concluding remarks. 6. Conclusions. Natural support for code mobility. Type systems and security. Further work. Appendices. Selected Proof Cases.
Product Description
Book by Kirli Zeliha Dilsun
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreKluwer Academic Pub
- Data di pubblicazione2002
- ISBN 10 1402070241
- ISBN 13 9781402070242
- RilegaturaCopertina rigida
- LinguaInglese
- Numero di pagine152
- Contatto del produttorenon disponibile
Compra nuovo
Visualizza questo articolo
EUR 87,91
GRATIS per la spedizione da U.S.A. a Italia
Destinazione, tempi e costi
Risultati della ricerca per Mobile Computation With Functions: 5
Foto dell'editore
Mobile Computation With Functions (advances In Information Security)
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Codice articolo ABEJUNE24-167561
Quantità: 1 disponibili
Foto dell'editore
Mobile Computation With Functions (advances In Information Security)
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Codice articolo ABNR-88459
Quantità: 1 disponibili
Immagini fornite dal venditore
Mobile Computation with Functions
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Gebunden. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 high. Codice articolo 4094779
Quantità: Più di 20 disponibili
Foto dell'editore
Mobile Computation with Functions
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 156. Codice articolo 263078608
Quantità: 1 disponibili
Foto dell'editore
Mobile Computation with Functions
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. pp. 156 Illus. Codice articolo 5850639
Quantità: 1 disponibili
Foto dell'editore
Mobile Computation with Functions
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. pp. 156. Codice articolo 183078618
Quantità: 1 disponibili
Immagini fornite dal venditore
Mobile Computation with Functions
Print on DemandDa: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 156 pp. Englisch. Codice articolo 9781402070242
Quantità: 2 disponibili
Immagini fornite dal venditore
Mobile Computation with Functions
Editore:
Springer US, Springer US Apr 2002, 2002
ISBN 10: 1402070241
ISBN 13: 9781402070242
Nuovo
Rilegato
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Buch. Condizione: Neu. Neuware -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. 156 pp. Englisch. Codice articolo 9781402070242
Quantità: 2 disponibili
Immagini fornite dal venditore
Mobile Computation with Functions
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Buch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Codice articolo 9781402070242
Quantità: 1 disponibili
Foto dell'editore
Mobile Computation with Functions (Advances in Information Security, 5)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9781402070242_new
Quantità: Più di 20 disponibili