scientific article; zbMATH DE number 3821076
From MaRDI portal
Publication:3667910
zbMATH Open0518.68001MaRDI QIDQ3667910FDOQ3667910
Authors: Adele Goldberg, David Robson
Publication date: 1983
Title of this publication is not available (Why is that?)
Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01)
Cited In (76)
- On environment-driven software model for internetware
- A survey of concurrent object-oriented languages
- Denotational semantics of a parallel object-oriented language
- A modest model of records, inheritance, and bounded quantification
- Scale-guided object matching for case-based reasoning
- Metamodeling semantics of multiple inheritance
- 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
- Directly reflective meta-programming
- Simple type-theoretic foundations for object-oriented programming
- An object-oriented semantic data model for CAD applications
- Query languages for hierarchic databases
- Safe metaclass composition using mixin-based inheritance
- Comparing object encodings.
- Fast and compact dispatching for dynamic object-oriented languages
- From modula to oberon
- A semantics of multiple inheritance
- Reasoning about dynamically evolving process structures
- 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
- Coping with aliasing in the GNU Eiffel Compiler implementation
- Specification and verification of object-oriented programs using supertype abstraction
- Inheritance as implicit coercion
- Smalltalk
- How to make OR-results available: A proposal for project scheduling
- Refinement, conformance and inheritance
- A meta-language for typed object-oriented languages
- Object-oriented simulation to support research in manufacturing systems
- A workbench for computational geometry
- Object inheritance beyond subtyping
- Core FOBS: A hybrid functional and object-oriented language
- On inner classes
- Title not available (Why is that?)
- Recursive types for Fun
- Constraint satisfaction with an object-oriented knowledge representation language
- Object-oriented programming in control system design: A survey
- 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
- A paradigmatic object-oriented programming language: Design, static typing and semantics
- An object-oriented parallel programming language for distributed-memory parallel computing platforms
- Issues in the design of a parallel object-oriented language
- DyC: An expressive annotation-directed dynamic compiler for C
- Solving problems with automated reasoning, expert systems and neural networks
- A delegation-based object calculus with subtyping
- Operation management in object-oriented knowledge bases
- A decade of TAPSOFT. Aspects of progress and prospects in theory and practice of software development
- BIT: A very compact Scheme system for microcontrollers
- 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
- Experiences with object group systems
- A CuCh interpretation of an object-oriented language
- Numerical simulations of a nonlinear stochastic partial differential equation modeling phytoplankton aggregation
- An object-based version of the path context model
- Denotational semantics of a simple model of Eiffel
- On simulation, subtyping and substitutability in sequential object systems
- Syntactic adaptability of programming languages
- An evaluation of tagging
- Information Flow Control-by-Construction for an Object-Oriented Language
- A point based model of the Gregorian calendar
- Open aspects
- Runtime bytecode transformation for Smalltalk
- The Green language
- Reuse of information in multi-layer sigma-pi neural networks
- Writing concurrent assemblers–a case study in path pascal
- Implementation of security policies in programming information processing systems
- The object-oriented paradigm and automata theory
- 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)