CLOS
From MaRDI portal
Software:15866
No author found.
Related Items (48)
Constraint satisfaction with an object-oriented knowledge representation language ⋮ Object-oriented programming in control system design: A survey ⋮ Feature-oriented programming: A new way of object composition ⋮ Supporting incremental and experimental software evolution by runtime method transformations ⋮ A calculus for overloaded functions with subtyping ⋮ A linear algorithm to decompose inheritance graphs into modules ⋮ A meta-language for typed object-oriented languages ⋮ How to make OR-results available: A proposal for project scheduling ⋮ Unnamed Item ⋮ Creol: A type-safe object-oriented model for distributed concurrent systems ⋮ Multiple dispatch in reflective runtime environment ⋮ Dynamic overloading with copy semantics in object-oriented languages: a formal account ⋮ Integration of parametric and ``ad hoc second order polymorphism in a calculus with subtyping ⋮ Unnamed Item ⋮ An object-oriented approach to structural analysis and design ⋮ Unnamed Item ⋮ A domain-theoretic semantics of lax generic functions. ⋮ Pragmatic applications of the Semantic Web using SemTalk. ⋮ Unnamed Item ⋮ Modeling inheritance as coercion in a symbolic computation system ⋮ Issues in the design of a parallel object-oriented language ⋮ On flexible dynamic trait replacement for Java-like languages ⋮ Abstraction over implementation structure with symmetrically encapsulated multimethods ⋮ Unnamed Item ⋮ Expressiveness of verifiable hierarchical clock systems ⋮ A matrix class library in C++ for structural engineering computing ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Incremental reasoning with lazy behavioral subtyping for multiple inheritance ⋮ An architecture for extensible middleware platforms ⋮ A Tutorial on Object-Oriented Functional Programming ⋮ Incremental Reasoning for Multiple Inheritance ⋮ Unnamed Item ⋮ Mutable objects in R ⋮ Unnamed Item ⋮ A denotational approach for type-checking in object-oriented programming languages ⋮ Unnamed Item ⋮ Featherweight Java with dynamic and static overloading ⋮ Formal Methods for Components and Objects ⋮ Formal Methods for Components and Objects ⋮ Programming graphical user interfaces with Scheme ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Tailorable language for behavioral composition and configuration of software components ⋮ Dependent types with subtyping and late-bound overloading ⋮ Unnamed Item ⋮ Simple type-theoretic foundations for object-oriented programming ⋮ Integrating on-line performance visualization and real-time system design
This page was built for software: CLOS
