Proceedings of a tutorial and workshop on Category theory and computer programming
Unifying functional, object-oriented and relational programming with logical semantics
Research directions in object-oriented programming
Models and equality for logical programming
II and Colloquium on Functional and Logic Programming and Specifications (CFLP) on TAPSOFT '87: Advanced Seminar on Foundations of Innovative Software Development
A proposal for making Eiffel type-safe
The Computer Journal - Special issue on object-oriented programming
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Reasoning about object-oriented programs that use subtypes
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Eiffel: the language
Topology and category theory in computer science
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Safe type checking in a statically-typed object-oriented programming language
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A logical semantics for object-oriented databases
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
A behavioral notion of subtyping
ACM Transactions on Programming Languages and Systems (TOPLAS)
Logical foundations of object-oriented and frame-based languages
Journal of the ACM (JACM)
Modular reasoning in the presence of subclassing
Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
Order-sorted model theory for temporal executable specifications
Theoretical Computer Science
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Reasoning about Java classes: preliminary report
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Safely creating correct subclasses without seeing superclass code
OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Specifying Concurrent Program Modules
ACM Transactions on Programming Languages and Systems (TOPLAS)
Information and Computation
Solving the Inheritance Anomaly in Concurrent Object-Oriented Programming
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Declarative Object-Oriented Programming: Inheritance, Subtyping and Prototyping
ECOOP '94 Proceedings of the 8th European Conference on Object-Oriented Programming
Roles and Dynamic Subclasses: A Modal Logic Approach
ECOOP '94 Proceedings of the 8th European Conference on Object-Oriented Programming
ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming
Orthogonal to the Java Imperative
ECCOP '98 Proceedings of the 12th European Conference on Object-Oriented Programming
Expressivity of Typed Logic Paradigms for Object-Oriented Databases
BNCOD 12 Proceedings of the 12th British National Conference on Databases: Directions in Databases
Dynamic Database Logic: the First-order Case
Selected Papers from the Fourth International Workshop on Foundations of Models and Languages for Data and Objects: Modelling Database Dynamics
A Logic of Object-Oriented Programs
TAPSOFT '97 Proceedings of the 7th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Proceedings of the Carnegie Mellon Workshop on Logic of Programs
Constrained Matching is Type Safe
DBLP-6 Proceedings of the 6th International Workshop on Database Programming Languages
A Model Theory for Generic Schema Management
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language
ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming
Slicing techniques for verification re-use
Theoretical Computer Science - Formal methods for components and objects
Algebraic specification techniques for parametric types with logic-based constraints
Proceedings of the 2009 ACM symposium on Applied Computing
JML’s rich, inherited specifications for behavioral subtypes
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Verification theories for XML schema
BNCOD'06 Proceedings of the 23rd British National Conference on Databases, conference on Flexible and Efficient Information Handling
| Hi-index | 0.00 |
The notion of self-typing is extended with the semantic constraints expressed as sentences. Specifying these behavioral properties is far beyond the expressiveness of type systems. The cornerstone of the approach is the view of classes as theories. The inheritance of class constraints is viewed as a theory morphism. The validity of the results across various possible logics for expressing class constraints is based on the object-oriented view of the notion of an institution. This view ties together the inheritance of class constraints and semantically correct object substitutability. The developed formal system is termed behavioral matching and it is proved to be an institution. Implications of this result are also analyzed.