Publication:3667910
From MaRDI portal
zbMath0518.68001MaRDI QIDQ3667910
Publication date: 1983
68-02: Research exposition (monographs, survey articles) pertaining to computer science
68N01: General topics in the theory of software
Related Items
An object-based version of the path context model, Vmgen?a generator of efficient virtual machine interpreters, Unnamed Item, Unnamed Item, A paradigmatic object-oriented programming language: Design, static typing and semantics, Simple type-theoretic foundations for object-oriented programming, Coping with aliasing in the GNU Eiffel Compiler implementation, An algebraic approach to formalization of object-orientation*, A Hoare logic for dynamic networks of asynchronously communicating deterministic processes, Smalltalk, On the role of memory in object-based and object-oriented languages, Scale-guided object matching for case-based reasoning, Refinement, conformance and inheritance, BIT: A very compact Scheme system for microcontrollers, Issues in the design of a parallel object-oriented language, Denotational semantics of a parallel object-oriented language, Knowledge-based dialogue for dynamic systems, Self and selftype, A modest model of records, inheritance, and bounded quantification, On environment-driven software model for internetware, A list processing language TAO with multiple programming paradigms, Multi-layer logic - a predicate logic including data structure as knowledge representation language, A semantics of multiple inheritance, An object-oriented semantic data model for CAD applications, Inheritance as implicit coercion, Recursive types for Fun, 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, Query languages for hierarchic databases, A workbench for computational geometry, Object inheritance beyond subtyping, Plain CHOCS. A second generation calculus for higher order processes, Constraint satisfaction with an object-oriented knowledge representation language, Reasoning about dynamically evolving process structures, Object-oriented programming in control system design: A survey, A meta-language for typed object-oriented languages, Solving problems with automated reasoning, expert systems and neural networks, New architectures for constructed complex systems, DyC: An expressive annotation-directed dynamic compiler for C, The conical methodology and the evolution of simulation model development, Comparing object encodings., On inner classes, An optimal data structure to handle dynamic environments in non-deterministic computations, Safe metaclass composition using mixin-based inheritance, Denotational semantics of a simple model of Eiffel, How to make OR-results available: A proposal for project scheduling, Specification and verification of object-oriented programs using supertype abstraction, Syntactic adaptability of programming languages, On simulation, subtyping and substitutability in sequential object systems, The Green language, Open aspects, Runtime bytecode transformation for Smalltalk, A point based model of the Gregorian calendar, Object-oriented simulation to support research in manufacturing systems, Reuse of information in multi-layer sigma-pi neural networks, An evaluation of tagging, Writing concurrent assemblers–a case study in path pascal, From modula to oberon, Operation management in object-oriented knowledge bases, Fuzzy concepts in an object oriented expert system shell, The object-oriented paradigm and automata theory
