The following pages link to (Q4024014):
Displayed 25 items.
- Eiffel (Q16053) (← links)
- jContractor: Introducing design-by-contract to Java using reflective bytecode instrumentation (Q812054) (← links)
- Refinement and verification in component-based model-driven design (Q1004291) (← links)
- Selftype is a special case (Q1178231) (← links)
- Object-oriented programming in control system design: A survey (Q1333435) (← links)
- Defining relationships in ecology using object-oriented formal specifications (Q1340342) (← links)
- A meta-language for typed object-oriented languages (Q1350339) (← links)
- Semantics of temporal classes (Q1854386) (← links)
- Privacy via subsumption (Q1854493) (← links)
- Type-safe covariant specialization with generalized matching (Q1854554) (← links)
- Denotational semantics of a simple model of Eiffel (Q1894321) (← links)
- Specification and verification of object-oriented programs using supertype abstraction (Q1902305) (← links)
- On simulation, subtyping and substitutability in sequential object systems (Q1906038) (← links)
- A new mechanism for exception handling in concurrent control systems (Q1925136) (← links)
- Mechanisms for improved covariant type-checking (Q2381977) (← links)
- The Green language (Q2506982) (← links)
- Specification and verification challenges for sequential object-oriented programs (Q2643131) (← links)
- Coalgebras for Binary Methods: Properties of Bisimulations and Invariants (Q2747943) (← links)
- A paradigmatic object-oriented programming language: Design, static typing and semantics (Q4764618) (← links)
- (Q4789080) (← links)
- Strong types for coordinating active objects (Q4790922) (← links)
- Extending the object model to provide explicit support for crosscutting concerns (Q4791012) (← links)
- JAC—Access right based encapsulation for Java (Q4791058) (← links)
- (Q4791139) (← links)
- A Theory of Pointers for the UTP (Q5505599) (← links)