Publication | Closed Access
Distrbution and Abstract Types in Emerald
408
Citations
26
References
1987
Year
EngineeringType TheorySoftware EngineeringSoftware AnalysisFormal VerificationGeneric ProgrammingObject SystemDistributed ObjectObject-oriented DesignSingle Object ModelPolymorphism (Computer Science)Distributed SystemsComputer ScienceType SystemObject LocationSoftware DesignProgram AnalysisFormal MethodsObject-oriented ProgrammingAbstract TypesSystem SoftwareObject Modeling
Emerald is an object-based language for programming distributed subsystems and applications. Its novel features include 1) a single object model that is used both for programming in the small and in the large, 2) support for abstract types, and 3) an explicit notion of object location and mobility. This paper outlines the goals of Em-erald, relates Emerald to previous work, and describes its type system and distribution support. We are currently constructing a prototype implementation of Emerald.
| Year | Citations | |
|---|---|---|
Page 1
Page 1