CLOS
From MaRDI portal
Software:15866
swMATH3334MaRDI QIDQ15866FDOQ15866
Author name not available (Why is that?)
Official website: http://www.aiai.ed.ac.uk/~jeff/clos-guide.html
Cited In (75)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A Tutorial on Object-Oriented Functional Programming
- 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?)
- 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
- FC++
- Title not available (Why is that?)
- Omola
- BRISK
- Miranda
- CLISP
- PICCOLA
- Title not available (Why is that?)
- Commonloops
- AspectS
- Creol
- Cecil
- Fudgets
- mutatr
- Roxygen
- FAMIX
- Biglook
- Fortress
- FranTk
- PolyTOIL
- Featherweight Java
- How to make OR-results available: A proposal for project scheduling
- Title not available (Why is that?)
- A meta-language for typed object-oriented languages
- Title not available (Why is that?)
- Forsythe
- Simula 67
- Dylan
- Classbox/J
- Frag
- GASP IV
- Incremental reasoning with lazy behavioral subtyping for multiple inheritance
- Jiazzi
- Constraint satisfaction with an object-oriented knowledge representation language
- Object-oriented programming in control system design: A survey
- Formal Methods for Components and Objects
- Whiteoak
- 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?)
- 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
