A mechanism for specifying the structure of large, layered, object-oriented programs
- Harold L. Ossher
- 1986
- OOPWORK 1986
Conference paper
Publications
9296 results for Computer Science
A generalized object model
- Van Nguyen
- Brent Hailpern
- 1986
- OOPWORK 1986
Conference paperIntroduction to the special issue of the sigplan notices on the object-oriented programming workshop
- Peter Wegner
- Bruce Shriver
- 1986
- OOPWORK 1986
Conference paperA simple characterization of database dependency implication
- Yoshito Hanatani
- Ronald Fagin
- 1986
- Information Processing Letters
PaperLimits for automatic verification of finite-state concurrent systems
- Krzysztof R. Apt
- Dexter C. Kozen
- 1986
- Information Processing Letters
PaperFour dimensional cardiac imaging
- L.D.R. Smith
- Peter Quarendon
- 1989
- Proceedings of SPIE 1989
Conference paperImage compression based on hierarchical encoding
- Narciso Garcia
- Carlos Munoz
- et al.
- 1989
- Proceedings of SPIE 1989
Conference paperQuantitative Photothermal Deflection Measurement Of Thermal Diffusivity
- A.C. Tam
- 1989
- Proceedings of SPIE 1989
Conference paperRadon-based image processing in a parallel pipeline architecture
- Eric B. Hinkle
- Anil K. Jain
- 1989
- Proceedings of SPIE 1989
Conference paperEmbedded menus: Selecting items in context
- Larry Koved
- Ben Scneiderman
- 1986
- CACM
Paper