CLOS
From MaRDI portal
Cited in
(84)- scientific article; zbMATH DE number 4162318 (Why is no real title available?)
- scientific article; zbMATH DE number 417803 (Why is no real title available?)
- A Tutorial on Object-Oriented Functional Programming
- scientific article; zbMATH DE number 1507214 (Why is no real title available?)
- Expressiveness of verifiable hierarchical clock systems
- scientific article; zbMATH DE number 1951131 (Why is no real title available?)
- A denotational approach for type-checking in object-oriented programming languages
- Creol: A type-safe object-oriented model for distributed concurrent systems
- A domain-theoretic semantics of lax generic functions.
- Pragmatic applications of the Semantic Web using SemTalk.
- Programming graphical user interfaces with Scheme
- scientific article; zbMATH DE number 4115919 (Why is no real title available?)
- scientific article; zbMATH DE number 1086651 (Why is no real title available?)
- scientific article; zbMATH DE number 52915 (Why is no real title available?)
- Constraint satisfaction with an object-oriented knowledge representation language
- An architecture for extensible middleware platforms.
- Object-oriented programming in control system design: A survey
- An object-oriented approach to structural analysis and design
- scientific article; zbMATH DE number 1757972 (Why is no real title available?)
- How to make OR-results available: A proposal for project scheduling
- Incremental Reasoning for Multiple Inheritance
- Tailorable language for behavioral composition and configuration of software components
- scientific article; zbMATH DE number 1931755 (Why is no real title available?)
- scientific article; zbMATH DE number 47523 (Why is no real title available?)
- A matrix class library in C++ for structural engineering computing
- Formal Methods for Components and Objects
- A linear algorithm to decompose inheritance graphs into modules
- Modeling inheritance as coercion in a symbolic computation system
- Integrating on-line performance visualization and real-time system design
- Dependent types with subtyping and late-bound overloading
- FC++
- SACLIB
- Omola
- Rapide
- ET++
- Smalltalk
- JavaPod
- MICO
- BRISK
- BETA
- POOL
- Eiffel
- Miranda
- CLISP
- PICCOLA
- Commonloops
- AspectS
- Creol
- Cecil
- Fudgets
- mutatr
- Roxygen
- FAMIX
- Biglook
- Fortress
- FranTk
- PolyTOIL
- Featherweight Java
- Featherweight Java with dynamic and static overloading
- Incremental reasoning with lazy behavioral subtyping for multiple inheritance
- Multiple dispatch in reflective runtime environment
- Feature-oriented programming: A new way of object composition
- Forsythe
- Simula 67
- Dylan
- Classbox/J
- Frag
- GASP IV
- On flexible dynamic trait replacement for Java-like languages
- Jiazzi
- Simple type-theoretic foundations for object-oriented programming
- Dynamic overloading with copy semantics in object-oriented languages: a formal account
- scientific article; zbMATH DE number 2089205 (Why is no real title available?)
- scientific article; zbMATH DE number 46981 (Why is no real title available?)
- Whiteoak
- A meta-language for typed object-oriented languages
- Supporting incremental and experimental software evolution by runtime method transformations
- Abstraction over implementation structure with symmetrically encapsulated multimethods
- Mutable objects in R
- A calculus for overloaded functions with subtyping
- Formal Methods for Components and Objects
- scientific article; zbMATH DE number 718135 (Why is no real title available?)
- Integration of parametric and ``ad hoc second order polymorphism in a calculus with subtyping
- Issues in the design of a parallel object-oriented language
This page was built for software: CLOS
