CLOS

swMATH3334MaRDI QIDQ15866FDOQ15866

Author name not available (Why is that?)

Described by source

• An environment for DEVS-based multiformalism simulation in common lisp/CLOS

Cited In (48)

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

This page was built for software: CLOS