scientific article; zbMATH DE number 3821076

Cited in

(76)

On environment-driven software model for internetware
Denotational semantics of a parallel object-oriented language
A modest model of records, inheritance, and bounded quantification
A survey of concurrent object-oriented languages
Scale-guided object matching for case-based reasoning
Metamodeling semantics of multiple inheritance
Experiences with object group systems
Fuzzy concepts in an object oriented expert system shell
Multi-layer logic - a predicate logic including data structure as knowledge representation language
New architectures for constructed complex systems
C++ lambda expressions and closures
A CuCh interpretation of an object-oriented language
Directly reflective meta-programming
An object-oriented semantic data model for CAD applications
Query languages for hierarchic databases
Simple type-theoretic foundations for object-oriented programming
Numerical simulations of a nonlinear stochastic partial differential equation modeling phytoplankton aggregation
Safe metaclass composition using mixin-based inheritance
An object-based version of the path context model
Comparing object encodings.
Fast and compact dispatching for dynamic object-oriented languages
Denotational semantics of a simple model of Eiffel
A semantics of multiple inheritance
From modula to oberon
Reasoning about dynamically evolving process structures
On simulation, subtyping and substitutability in sequential object systems
Syntactic adaptability of programming languages
An evaluation of tagging
An operational semantics for object-oriented concepts based on the class hierarchy
Design and evaluation of C++ open multi-methods
A Hoare logic for dynamic networks of asynchronously communicating deterministic processes
Specification and verification of object-oriented programs using supertype abstraction
Smalltalk
Coping with aliasing in the GNU Eiffel Compiler implementation
Inheritance as implicit coercion
Refinement, conformance and inheritance
Information Flow Control-by-Construction for an Object-Oriented Language
How to make OR-results available: A proposal for project scheduling
A meta-language for typed object-oriented languages
A workbench for computational geometry
Object inheritance beyond subtyping
Object-oriented simulation to support research in manufacturing systems
Core FOBS: A hybrid functional and object-oriented language
On inner classes
Recursive types for Fun
A point based model of the Gregorian calendar
Open aspects
Runtime bytecode transformation for Smalltalk
The Green language
Constraint satisfaction with an object-oriented knowledge representation language
Object-oriented programming in control system design: A survey
Reuse of information in multi-layer sigma-pi neural networks
scientific article; zbMATH DE number 7310152 (Why is no real title available?)
Writing concurrent assemblers–a case study in path pascal
An algebraic approach to formalization of object-orientation^*
Knowledge-based dialogue for dynamic systems
Self and selftype
The conical methodology and the evolution of simulation model development
Plain CHOCS. A second generation calculus for higher order processes
An explication of reasoning in multiple inheritance systems through non- monotonic Horn clause logic
Automatic two- and three-dimensional mesh generation based on fuzzy knowledge processing
Issues in the design of a parallel object-oriented language
An object-oriented parallel programming language for distributed-memory parallel computing platforms
DyC: An expressive annotation-directed dynamic compiler for C
A paradigmatic object-oriented programming language: Design, static typing and semantics
Implementation of security policies in programming information processing systems
Solving problems with automated reasoning, expert systems and neural networks
A delegation-based object calculus with subtyping
The object-oriented paradigm and automata theory
BIT: A very compact Scheme system for microcontrollers
Operation management in object-oriented knowledge bases
A decade of TAPSOFT. Aspects of progress and prospects in theory and practice of software development
A list processing language TAO with multiple programming paradigms
On the role of memory in object-based and object-oriented languages
An optimal data structure to handle dynamic environments in non-deterministic computations
Vmgen?a generator of efficient virtual machine interpreters

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3667910)