scientific article

From MaRDI portal
Publication:3667910

zbMath0518.68001MaRDI QIDQ3667910

David Robson, Adele Goldberg

Publication date: 1983


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



Related Items

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