Franz Achermann. Forms, Agents and Channels - Defining Composition Abstraction with Style. PhD thesis, University of Berne, January 2002. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Contractual Types - Nierstrasz (Correct)
.... together with its type system. This simple type system, however, is very restrictive, and does not support polymorphism. Schneider s thesis [Sch99] introduces a form calculus that includes agents and channels, but does not treat environments as first class. Achermann s Piccola calculus [Ach02] also includes agents and channels, and can be seen as containing the pure form calculus presented here as a sublanguage. Neither Schneider s form calculus nor the Piccola calculus are typed. Abadi s calculus of explicit substitutions [ACCL90] makes environment explicit, but does not turn them ....
Franz Achermann. Forms, Agents and Channels - Defining Composition Abstraction with Style. PhD thesis, University of Berne, January 2002.
A Calculus for Modeling Software Components - Nierstrasz, Achermann (2002) Self-citation (Achermann) (Correct)
No context found.
Franz Achermann. Forms, Agents and Channels -- Defining Composition Abstraction with Style. PhD thesis, University of Berne, January 2002.
A Guide to JPiccola - Nierstrasz, Achermann, Kneubuehl (2003) Self-citation (Achermann) (Correct)
....of the stack. src String The current source code location. top ( String Returns the current source code location. pop ( StackTrace Returns the caller s StackTrace Piccola Language The following description of the Piccola syntax has been adapted from Franz Achermann s PhD thesis [Ach02]. Please consult the thesis for details of the formal semantics. 4.1 The Language We now define the syntax of the Piccola language. The language does not contain syntactical primitives for communication along channels, for spawning o# new agents, and for hiding labels. These features are made ....
....explains how forms unify a number of concepts, including namespaces, thereby enabling the definition of abstractions, such as generic wrappers, that are di#cult or impossible to define in most programming languages. JPiccola is an implementation of Piccola3. The PhD thesis of Franz Achermann [Ach02] describes the syntax and semantics of Piccola3 in detail. This language is based on the PICCOLA calculus, a further refinement of #L and the FORM calculus, which provides form introspection, and a number of features such as first class abstractions as built in mechanisms. One of the di#culties ....
[Article contains additional citation context not shown here]
Franz Achermann. Forms, Agents and Channels -- Defining Composition Abstraction with Style. PhD thesis, University of Berne, January 2002.
John A. Zinky, David E. Bakken, and Richard D. Schantz.. - David Zook Shan (Correct)
No context found.
Franz Achermann. Forms, Agents and Channels - Defining Composition Abstraction with Style. PhD thesis, University of Berne, January 2002.
Mapping Dooley Graphs and Commitment Causality to the -Calculus - Feng Wan Department (2004) (Correct)
No context found.
F. Achermann. Forms, Agents and Channels -- Defining Composition Abstraction with Style. PhD thesis, U. Berne, 2002.
Contractual Types - Oscar Nierstrasz Institut (Correct)
No context found.
Franz Achermann. Forms, Agents and Channels - Defining Composition Abstraction with Style. PhD thesis, University of Berne, January 2002.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC