Publication | Closed Access
Jiazzi
181
Citations
13
References
2001
Year
Unknown Venue
EngineeringCompiler TechnologySoftware EngineeringSoftware AnalysisFormal VerificationJava Source CodeJiazzi ComponentsStatic CheckingPresent JiazziComputer EngineeringProgramming Language ImplementationComputer ScienceReal-time JavaStatic Program AnalysisSoftware DesignProgram AnalysisSoftware TestingFormal MethodsSystem Software
We present Jiazzi, a system that enables the construction of large-scale binary components in Java. Jiazzi components can be thought of as generalizations of Java packages with added support for external linking and separate compilation. Jiazzi components are practical becuase they are constructed out of standard Java source code. Jiazzi requires neither extensions to the Java language nor special conventions for writing Java source code that will go inside a component. Our components are expressive becuase Jiazzi supports cyclic component linking and mixins, which are used together in an open class pattern that enables the modular addition of new features to existing classes. This paper describes Jiazzi, how it enhances Java with components, its implementation, and how type checking works. An implementation of Jiazzi is available for download.
| Year | Citations | |
|---|---|---|
Page 1
Page 1