The following pages link to CLOS (Q15866):
Displaying 28 items.
- Incremental reasoning with lazy behavioral subtyping for multiple inheritance (Q549694) (← links)
- Integrating on-line performance visualization and real-time system design (Q813151) (← links)
- Creol: A type-safe object-oriented model for distributed concurrent systems (Q854164) (← links)
- Multiple dispatch in reflective runtime environment (Q865707) (← links)
- Issues in the design of a parallel object-oriented language (Q909434) (← links)
- Featherweight Java with dynamic and static overloading (Q1016639) (← links)
- Constraint satisfaction with an object-oriented knowledge representation language (Q1330407) (← links)
- Object-oriented programming in control system design: A survey (Q1333435) (← links)
- A meta-language for typed object-oriented languages (Q1350339) (← links)
- A domain-theoretic semantics of lax generic functions. (Q1398469) (← links)
- Pragmatic applications of the Semantic Web using SemTalk. (Q1398894) (← links)
- Dependent types with subtyping and late-bound overloading (Q1854436) (← links)
- Supporting incremental and experimental software evolution by runtime method transformations (Q1887672) (← links)
- A calculus for overloaded functions with subtyping (Q1891168) (← links)
- A linear algorithm to decompose inheritance graphs into modules (Q1892582) (← links)
- How to make OR-results available: A proposal for project scheduling (Q1897419) (← links)
- Integration of parametric and ``ad hoc'' second order polymorphism in a calculus with subtyping (Q1918933) (← links)
- On flexible dynamic trait replacement for Java-like languages (Q2442955) (← links)
- Abstraction over implementation structure with symmetrically encapsulated multimethods (Q2442958) (← links)
- Mutable objects in R (Q2513356) (← links)
- Tailorable language for behavioral composition and configuration of software components (Q2568280) (← links)
- An architecture for extensible middleware platforms (Q2785068) (← links)
- Modeling inheritance as coercion in a symbolic computation system (Q2958920) (← links)
- Expressiveness of verifiable hierarchical clock systems (Q3005130) (← links)
- (Q3046473) (← links)
- (Q3134846) (← links)
- Feature-oriented programming: A new way of object composition (Q4790930) (← links)
- Dynamic overloading with copy semantics in object-oriented languages: a formal account (Q5321777) (← links)
