scientific article

Publication date: 1983

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

object-oriented programming programming system

Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01)

Related Items (76)

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

This page was built for publication: