L. CARDELLI. The Amber Machine, Technical Report, AT&T Bell Laboratories, 1984. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Requirements for UIMSs - Coutaz (1990) (Correct)
....or Mickey [Olsen 89] User interface generators produce a user interface from a high level specification. Sometimes, the specification is performed through an interactive editor which avoids learning a new language and which instantly shows the result of the specification [Hullot 86, Karsenty 87, Cardelli 87] In some cases, the construction of a user 2 interface involves a combination of interactive specification and traditional programming activities as in Interface Builder [Webster 89] In this article, the term UIMS is employed in a generic way to cover the three classes of services: dialogue ....
L. Cardelli: Building User Interfaces by Direct Manipulation; Digital Systems Research Center, Technical Report, 22, October, 1987.
An Implementation of the Haskell Language - Spinellis (1990) (Correct)
....( pattern matching removal, lambda lifting, supercombinators, G ) 5. 1 Technical Overview The main reference for code generation from the G machine is [Jon87, 293 366] Other abstract machines fo evaluating declarative languages are discussed in [JJ89] and [War83] The Amber machine [Car85] is an example of a machine for direct implementation of functional languages. SK combinators and details on removing variable references are presented in [Tur79] The need for highly specific abstract machine instructions to aid the code generation process is presented in [FH82] The paper also ....
Luca Cardelli. The amber machine. Technical Report 119, Bell Laboratories, Murray Hill, New Jersey 07974, June 1985.
Design Principles for Dynamic Object Systems - Salzmann (2000) (Correct)
....impact have the locations on the set of configurations for local area networks as well as wide area networks. Permissions: Different locations imply not only technical issues like network bandwidth and therefore latency, but also environmental issues as permissions. In the ambient calculus [CG98], each process is wrapped into a mobile environment, that defines the permissions of migration communication is in the ambient calculus modeled via migration) This is an fundamental abstraction of security barriers as firewalls in the internet: a 2 LAN LAN LAN different authorization ....
....engineering and design questions. Most of the existing work in the field of mobile systems can be found in principles of mobility and agent oriented software engineering. In the area of principle for mobile systems different abstractions address certain characteristics, i.e. the ambient calculus [CG98], MobileUNITY [PRM97] and of course the calculus [MPW92] and its derivatives. However, at the moment is is unclear if one of those is an appropriate abstraction for design and engineering needs of mobile systems. Out of the agent community, come out first attempts to propose software ....
Luca Cardelli and Andrew D. Gordon. Mobile ambients. Technical report, 98.
Compositionally Modular Scheme - Banavar, Lindstrom (Correct)
....the s parameter of the latter. The reader is referred to [1, 2] for a development of the formalism. This ability to manipulate the namespace enables a high degree of compositionality and reuse. The design of CMS is based upon the above semantic notion of modules that goes back to record calculi [11, 5]. Classes were modeled as record generators by Cook [7] who also first introduced some of the operators used here. Based on this, Bracha and Lindstrom in [2] developed a suite of operators to support sharing, encapsulation, and static binding. In this paper, we further augment the above model ....
Luca Cardelli and John C. Mitchell. Operations on records. Technical Report 48, DEC SRC, August 1989.
Implementing CCS, the LCS experiment - Berthomieu (1989) (2 citations) (Correct)
No context found.
L. CARDELLI. The Amber Machine, Technical Report, AT&T Bell Laboratories, 1984.
Two Ways to Bake Your Pizza - Translating Parameterised Types.. - Odersky (1997) (4 citations) (Correct)
No context found.
L. Cardelli, J. Donahue, L. Glassman, M. Jordan, B. Kalsow, and G. Nelson. Modula-3 report. Technical Report 31, DEC SRC, 1988.
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