The following pages link to CLOS (Q15866):
Displaying 48 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)
- (Q3489518) (← links)
- A Tutorial on Object-Oriented Functional Programming (Q3599182) (← links)
- Incremental Reasoning for Multiple Inheritance (Q3605467) (← links)
- (Q3997095) (← links)
- (Q3998640) (← links)
- (Q4003187) (← links)
- An object-oriented approach to structural analysis and design (Q4014883) (← links)
- (Q4320533) (← links)
- (Q4362901) (← links)
- A matrix class library in C++ for structural engineering computing (Q4372258) (← links)
- (Q4413617) (← links)
- Programming graphical user interfaces with Scheme (Q4460716) (← links)
- (Q4503934) (← links)
- (Q4537760) (← links)
- A denotational approach for type-checking in object-oriented programming languages (Q4697448) (← links)
- (Q4709055) (← links)
- (Q4730749) (← links)
- Simple type-theoretic foundations for object-oriented programming (Q4764619) (← 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)
- Formal Methods for Components and Objects (Q5897453) (← links)
- Formal Methods for Components and Objects (Q5897454) (← links)
