2,246 papers · page 100 of 113
article Free Access Share on Reuse (panel): truth or fiction Authors: Paul McCollough View Profile , Bob Atkinson View Profile , Adele Goldberg View Profile , Martin Griss View Profile , John Morrison View Profile Authors Info & Claims ACM SIGPLAN NoticesVolume 27Issue 10Oct. 199…
article Free Access Share on Declarative programming in a prototype-instance system: object-oriented programming without writing methods Authors: Brad A. Myers View Profile , Dario A. Giuse View Profile , Brad Vander Zanden View Profile Authors Info & Claims ACM SIGPLAN NoticesVo…
Making extensionsto existing systems is a critically important activity in object-oriented pro-existing application.We are in full agreement with Lieberman [7] that one wants a small extension to behavior to require just a small extension to code, and that adding new code is good…
CACL is a protection scheme for objects that offers a simple and flexible model of protection and has an efficient, software-only implementation.The model, based on Access Control Lists (ACLs) integrated with the type system, allows owners to control who may invoke which methods …
We investigate a formal model for reasoning about real-time object-oriented computations.The model is an extension of CCS with the notion of time, called RtCCS(Real-time Calculus of Communication Systems).It can naturally model real-time concurrent objects as communicating proces…
article Free Access Share on Ensuring semantic integrity of reusable objects (panel) Authors: Webb Stacy View Profile , Richard Helm View Profile , Gail E. Kaiser View Profile , Bertrand Meyer View Profile Authors Info & Claims ACM SIGPLAN NoticesVolume 27Issue 10Oct. 1992 pp 298…
article Free Access Share on Preliminary defect data from the iterative development of a large C++ program (experience report) Author: James F. Walsh View Profile Authors Info & Claims ACM SIGPLAN NoticesVolume 27Issue 10Oct. 1992 pp 178–183https://doi.org/10.1145/141937.141952On…
article Free Access Share on Object-oriented megaprogramming (panel) Authors: Peter Wegner View Profile , William Scherlis View Profile , James Purtilo View Profile , David Luckham View Profile , Ralph Johnson View Profile Authors Info & Claims ACM SIGPLAN NoticesVolume 27Issue 1…
There have been a number of attempts to blend objectoriented programming languages with techniques commonly employed for knowledge representation in artificial intelligence.In the main, such exercises have entailed the incorporation of rule-based programming ideas into object-ori…
This paper proposes a framework for constructing an operating system in an open and mobile computing environment.The framework provides object/metaobject separation and metahierarchy.In the framework, we view object migration as a basic mechanism to accommodate object heterogenei…
Multi-methods allow method selection to be based on the types of any number of arguments.Languages that currently support multi-methods do not support static type checking.We show how multi-methods can be statically type checked and how information collected at the time of progra…
Ve introduce an abstract form of interobject communication for object-oriented concurrent programming based on the proof theory of Linear Logic, a logic introduced to provide a theoretical basis for the study of concurrency.Such a form of communication, which we call forumbased c…
article Free AccessSymbolic and spatial database for structural biology Share on Authors: Dan Benson Department of Electrical Engineering, FT-10, University of Washington/Seattle, WA Department of Electrical Engineering, FT-10, University of Washington/Seattle, WAView Profile , G…
Reorganization of classes for object-oriented programming and object-oriented database design has recently received considerable attention in the literature. In this paper a small set of primitive transformations is presented which forms an orthogonal basis for object-preserving …
In the past, object-oriented language designers and programmers have been forced to choose between pure message passing and performance. Last year, our SELF system achieved close to half the speed of optimized C but suffered from impractically long compile times. Two new optimiza…
Article Free Access Share on Formal techniques for OO software development Authors: Pierre America Philips Research Laboratories Philips Research LaboratoriesView Profile , Derek Coleman HP-Lab Bristol HP-Lab BristolView Profile , Roger Duke University of Queensland University of…
"June 1991."