Roles and dynamic subclasses: A modal logic approach
- 1 January 1994
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 25 references indexed in Scilit:
- Operational semantics for order-sorted algebraPublished by Springer Nature ,2005
- A logical semantics for object-oriented databasesACM SIGMOD Record, 1993
- Order-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operationsTheoretical Computer Science, 1992
- Steps towards a method for the formal modeling of dynamic objectsData & Knowledge Engineering, 1991
- Object specializationACM Transactions on Information Systems, 1989
- Using prototypical objects to implement shared behavior in object-oriented systemsACM SIGPLAN Notices, 1986
- Object identityACM SIGPLAN Notices, 1986
- Dynamic LogicPublished by Springer Nature ,1984
- Completeness of many-sorted equational logicACM SIGPLAN Notices, 1982
- Extending the database relational model to capture more meaningACM Transactions on Database Systems, 1979