Smalltalk-80: the language and its implementation
Smalltalk-80: the language and its implementation
Programming in Prolog (2nd ed.)
Programming in Prolog (2nd ed.)
Encapsulation and inheritance in object-oriented programming languages
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Using prototypical objects to implement shared behavior in object-oriented systems
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
OOPWORK '86 Proceedings of the 1986 SIGPLAN workshop on Object-oriented programming
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Data abstraction mechanisms in SINA/ST
OOPSLA '88 Conference proceedings on Object-oriented programming systems, languages and applications
A software development environment for law-governed systems
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Object-based real-time programming
OOPSLA/ECOOP '88 Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming
ObNet: an object-oriented approach for supporting large, long-lived, highly configurable systems
ICSE '89 Proceedings of the 11th international conference on Software engineering
An object-oriented modelling enviornment
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Rule-based delegation for prototypes
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Controllable delegation: an exercise in law-governed systems
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
A denotational semantics of inheritance and its correctness
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
A Case Study in Structure Specification: a Grid Description of Scribe
IEEE Transactions on Software Engineering
Extending Objects to Support Multiple Interfaces and Access Control
IEEE Transactions on Software Engineering
Viewing object as patterns of communicating agents
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Configuration management by consensus: an application of law-governed systems
SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
The Imposition of Protocols Over Open Distributed Systems
IEEE Transactions on Software Engineering
Subject-oriented programming: a critique of pure objects
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
A taxonomy for secure object-oriented databases
ACM Transactions on Database Systems (TODS)
Sharing Properties in a Uniform Object Space
ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming
An event-driven high level model for the specification of laws in open multi-agent systems
Journal of Systems and Software
Interconnecting objects via contracts
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
| Hi-index | 0.00 |
The central idea behind this paper is that the discipline governing the exchange of messages between objects should be specifiable by the programmer in the form of an explicit law of the system. We show how, starting from a very primitive foundation, which presumes neither encapsulation nor inheritance, one can establish various forms of both, as well as other useful disciplines, simply by means of appropriate laws.