Mobile Computation with Functions

Kirli, Zeliha Dilsun

doi:10.1007/978-1-4615-1007-9

Search citation statements

Order By: Relevance

Paper Sections

Select...

Mobility and Mobile Languages1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2004

2010

Publication Types

Select...

Article3

Other1

Book1

Relationship

Self Cite0

Independent5

Authors

Journals

Cited by 6 publications

(1 citation statement)

References 108 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Mobile computations can move between locations in a network and potentially enable better use of shared computational resources [11]. Mobile programming languages like Jocaml [12] or Java Voyager [13] give programmers control over the placement of code or active computations across the network.…”

Section: Mobility and Mobile Languagesmentioning

confidence: 99%

Cost-driven autonomous mobility

Deng

Michaelson

Trinder

2010

Computer Languages, Systems & Structures

View full text Add to dashboard Cite

Section: Mobility and Mobile Languagesmentioning

confidence: 99%

Cost-driven autonomous mobility

Deng

Michaelson

Trinder

2010

Computer Languages, Systems & Structures

View full text Add to dashboard Cite

An Orchestrator for Dynamic Interconnection of Software Components

Barbosa

2007

Electronic Notes in Theoretical Computer Science

View full text Add to dashboard Cite

MetaKlaim: a type safe multi-stage language for global computing

Ferrari

Moggi

Pugliese

2004

Math. Struct. Comp. Sci.

View full text Add to dashboard Cite

This paper describes the design and the semantics of MetaKlaim, an higher order distributed process calculus equipped with staging mechanisms. MetaKlaim integrates MetaML (an extension of SML for multi-stage programming) and Klaim (a Kernel Language for Agents Interaction and Mobility), to permit interleaving of meta-programming activities (like assembly and linking of code fragments), dynamic checking of security policies at administrative boundaries and "traditional" computational activities on a wide area network (like remote communication and code mobility). MetaKlaim exploits a powerful type system (including polymorphic typesá la system F) to deal with highly parameterized mobile components and to dynamically enforce security policies: types are metadata which are extracted from code at run-time and are used to express trustiness guarantees. The dynamic type checking ensures that the trustiness guarantees of wide are network applications are maintained whenever computations interoperate with potentially untrusted components.

show abstract

Mobile Computation with Functions

Cited by 6 publications

References 108 publications

Cost-driven autonomous mobility

Cost-driven autonomous mobility

An Orchestrator for Dynamic Interconnection of Software Components

MetaKlaim: a type safe multi-stage language for global computing

Contact Info

Product

Resources

About