Mobile Computation with Functions:
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...
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
New York, NY
Springer US
2002
|
| Edition: | 1st ed. 2002 |
| Series: | Advances in Information Security
5 |
| Subjects: | |
| Online Access: | UBY01 Volltext |
| Summary: | 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 |
| Physical Description: | 1 Online-Ressource (XVIII, 134 p) |
| ISBN: | 9781461510079 |
| DOI: | 10.1007/978-1-4615-1007-9 |
Staff View
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV047064209 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 201216s2002 |||| o||u| ||||||eng d | ||
| 020 | |a 9781461510079 |9 978-1-4615-1007-9 | ||
| 024 | 7 | |a 10.1007/978-1-4615-1007-9 |2 doi | |
| 035 | |a (ZDB-2-SCS)978-1-4615-1007-9 | ||
| 035 | |a (OCoLC)1227482051 | ||
| 035 | |a (DE-599)BVBBV047064209 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 | ||
| 082 | 0 | |a 004.0151 |2 23 | |
| 100 | 1 | |a Kirli, Zeliha Dilsun |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Mobile Computation with Functions |c by Zeliha Dilsun Kirli |
| 250 | |a 1st ed. 2002 | ||
| 264 | 1 | |a New York, NY |b Springer US |c 2002 | |
| 300 | |a 1 Online-Ressource (XVIII, 134 p) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Advances in Information Security |v 5 | |
| 520 | |a 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 | ||
| 650 | 4 | |a Theory of Computation | |
| 650 | 4 | |a Processor Architectures | |
| 650 | 4 | |a Programming Languages, Compilers, Interpreters | |
| 650 | 4 | |a Artificial Intelligence | |
| 650 | 4 | |a The Computing Profession | |
| 650 | 4 | |a Computers | |
| 650 | 4 | |a Microprocessors | |
| 650 | 4 | |a Programming languages (Electronic computers) | |
| 650 | 4 | |a Artificial intelligence | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9781402070242 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9781461353485 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9781461510086 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-1-4615-1007-9 |x Verlag |z URL des Eerstveröffentlichers |3 Volltext |
| 912 | |a ZDB-2-SCS | ||
| 940 | 1 | |q ZDB-2-SCS_2000/2004 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-032471321 | ||
| 966 | e | |u https://doi.org/10.1007/978-1-4615-1007-9 |l UBY01 |p ZDB-2-SCS |q ZDB-2-SCS_2000/2004 |x Verlag |3 Volltext | |
Record in the Search Index
| _version_ | 1804182061904297984 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Kirli, Zeliha Dilsun |
| author_facet | Kirli, Zeliha Dilsun |
| author_role | aut |
| author_sort | Kirli, Zeliha Dilsun |
| author_variant | z d k zd zdk |
| building | Verbundindex |
| bvnumber | BV047064209 |
| collection | ZDB-2-SCS |
| ctrlnum | (ZDB-2-SCS)978-1-4615-1007-9 (OCoLC)1227482051 (DE-599)BVBBV047064209 |
| dewey-full | 004.0151 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.0151 |
| dewey-search | 004.0151 |
| dewey-sort | 14.0151 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| doi_str_mv | 10.1007/978-1-4615-1007-9 |
| edition | 1st ed. 2002 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02929nmm a2200517zcb4500</leader><controlfield tag="001">BV047064209</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">201216s2002 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781461510079</subfield><subfield code="9">978-1-4615-1007-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-1-4615-1007-9</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SCS)978-1-4615-1007-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1227482051</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV047064209</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151</subfield><subfield code="2">23</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Kirli, Zeliha Dilsun</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Mobile Computation with Functions</subfield><subfield code="c">by Zeliha Dilsun Kirli</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed. 2002</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York, NY</subfield><subfield code="b">Springer US</subfield><subfield code="c">2002</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XVIII, 134 p)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Advances in Information Security</subfield><subfield code="v">5</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">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</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Theory of Computation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Processor Architectures</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Languages, Compilers, Interpreters</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial Intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">The Computing Profession</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computers</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Microprocessors</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9781402070242</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9781461353485</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9781461510086</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-1-4615-1007-9</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Eerstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2000/2004</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-032471321</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4615-1007-9</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="q">ZDB-2-SCS_2000/2004</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV047064209 |
| illustrated | Not Illustrated |
| index_date | 2024-07-03T16:12:22Z |
| indexdate | 2024-07-10T09:01:34Z |
| institution | BVB |
| isbn | 9781461510079 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-032471321 |
| oclc_num | 1227482051 |
| open_access_boolean | |
| owner | DE-706 |
| owner_facet | DE-706 |
| physical | 1 Online-Ressource (XVIII, 134 p) |
| psigel | ZDB-2-SCS ZDB-2-SCS_2000/2004 ZDB-2-SCS ZDB-2-SCS_2000/2004 |
| publishDate | 2002 |
| publishDateSearch | 2002 |
| publishDateSort | 2002 |
| publisher | Springer US |
| record_format | marc |
| series2 | Advances in Information Security |
| spelling | Kirli, Zeliha Dilsun Verfasser aut Mobile Computation with Functions by Zeliha Dilsun Kirli 1st ed. 2002 New York, NY Springer US 2002 1 Online-Ressource (XVIII, 134 p) txt rdacontent c rdamedia cr rdacarrier Advances in Information Security 5 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 Theory of Computation Processor Architectures Programming Languages, Compilers, Interpreters Artificial Intelligence The Computing Profession Computers Microprocessors Programming languages (Electronic computers) Artificial intelligence Erscheint auch als Druck-Ausgabe 9781402070242 Erscheint auch als Druck-Ausgabe 9781461353485 Erscheint auch als Druck-Ausgabe 9781461510086 https://doi.org/10.1007/978-1-4615-1007-9 Verlag URL des Eerstveröffentlichers Volltext |
| spellingShingle | Kirli, Zeliha Dilsun Mobile Computation with Functions Theory of Computation Processor Architectures Programming Languages, Compilers, Interpreters Artificial Intelligence The Computing Profession Computers Microprocessors Programming languages (Electronic computers) Artificial intelligence |
| title | Mobile Computation with Functions |
| title_auth | Mobile Computation with Functions |
| title_exact_search | Mobile Computation with Functions |
| title_exact_search_txtP | Mobile Computation with Functions |
| title_full | Mobile Computation with Functions by Zeliha Dilsun Kirli |
| title_fullStr | Mobile Computation with Functions by Zeliha Dilsun Kirli |
| title_full_unstemmed | Mobile Computation with Functions by Zeliha Dilsun Kirli |
| title_short | Mobile Computation with Functions |
| title_sort | mobile computation with functions |
| topic | Theory of Computation Processor Architectures Programming Languages, Compilers, Interpreters Artificial Intelligence The Computing Profession Computers Microprocessors Programming languages (Electronic computers) Artificial intelligence |
| topic_facet | Theory of Computation Processor Architectures Programming Languages, Compilers, Interpreters Artificial Intelligence The Computing Profession Computers Microprocessors Programming languages (Electronic computers) Artificial intelligence |
| url | https://doi.org/10.1007/978-1-4615-1007-9 |
| work_keys_str_mv | AT kirlizelihadilsun mobilecomputationwithfunctions |