ASPfun : A typed functional active object calculus

@article{Henrio2012ASPfunA,
  title={ASPfun : A typed functional active object calculus},
  author={L. Henrio and F. Kamm{\"u}ller and B. Lutz},
  journal={Sci. Comput. Program.},
  year={2012},
  volume={77},
  pages={823-847}
}
  • L. Henrio, F. Kammüller, B. Lutz
  • Published 2012
  • Computer Science
  • Sci. Comput. Program.
  • This paper provides a sound foundation for autonomous objects communicating by remote method invocations and futures. As a distributed extension of @s-calculus we define ASP"f"u"n, a calculus of functional objects, behaving autonomously and communicating by a request-reply mechanism: requests are method calls handled asynchronously and futures represent awaited results for requests. This results in an object language enabling a concise representation of a set of active objects interacting by… CONTINUE READING
    A Survey of Active Object Languages
    • 48
    • Open Access
    Programming distributed and adaptable autonomous components—the GCM/ProActive framework
    • 20
    • Open Access
    Confinement for Active Objects
    • 1
    • Open Access
    Data Privacy Management and Autonomous Spontaneous Security
    • 18
    • Highly Influenced

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 56 REFERENCES
    Functional Active Objects: Typing and Formalisation
    • 14
    • Open Access
    ACTORS - a model of concurrent computation in distributed systems
    • 2,886
    • Highly Influential
    • Open Access
    A Theory of Objects
    • 1,218
    • Highly Influential
    • Open Access
    A Complete Guide to the Future
    • 205
    • Open Access
    Creol: A type-safe object-oriented model for distributed concurrent systems
    • 140
    • Highly Influential
    • Open Access
    Types and programming languages
    • 2,330
    • Open Access
    Nominal logic, a first order theory of names and binding
    • A. Pitts
    • Mathematics, Computer Science
    • 2003
    • 341
    • Open Access
    A Foundation for Actor Computation
    • 502
    • Highly Influential
    • Open Access
    Behavioral interface description of an object-oriented language with futures and promises
    • 42
    • Open Access
    MULTILISP: a language for concurrent symbolic computation
    • 1,174
    • Open Access