OOGRAPHICS
1992
14 years 4 months ago
1992
An object-oriented design is presented for building interactive 3D graphics applications. The design takes the form of a library of classes written in Eiffel, an object oriented l...
CODES
1999
IEEE
14 years 4 months ago
1999
IEEE
In this paper, we develop a formal framework to widen the scope of retargetable compilation. The goal is achieved by the unification of architectural models for both the processor...
ESOP
2005
Springer
14 years 6 months ago
2005
Springer
We present a statically typed, class-based object oriented language where classes are first class polymorphic values. A main contribution of this work is the design of a type syst...
DAC
2001
ACM
15 years 1 months ago
2001
ACM
We describe two things. First, we present a uniform framework for object oriented specification and verification of hardware. For this purpose the object oriented language `e'...