scientific article
From MaRDI portal
Publication:3750106
zbMath0609.68011MaRDI QIDQ3750106
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) General topics in the theory of software (68N01)
Related Items
Normalization by leftmost innermost rewriting, Object-oriented programming in control system design: A survey, Behavioral interface description of an object-oriented language with futures and promises, A delegation-based object calculus with subtyping, HIERARCHICAL SYSTEM CONCEPTS FOR SIMULATION OF HIGH AUTONOMY SYSTEMS, The AMPL Modeling Language: An Aid to Formulating and Solving Optimization Problems, Unnamed Item, An automatic and guaranteed determination of the number of roots of an analytic function interior to a simple closed curve in the complex plane, Syntactic adaptability of programming languages, OSIPE - a tool for scientific programming in FORTRAN, Large scale object-oriented finite element code design, Verifying atomic data types, An algebraic approach to formalization of object-orientation*, A modest model of records, inheritance, and bounded quantification, Hybrid concurrency control for abstract data types, A model checker for linear time temporal logic, Coalgebras for Binary Methods: Properties of Bisimulations and Invariants, DEVS methodology for evaluating time-constrained message routing policies, From concepts to consistent object specifications: Translation of a domain-oriented feature framework into practice, Generic algorithms for solving O. D. E using the tau method with an error estimation, Operations on records, PROCOL. A concurrent object-oriented language with protocols delegation and constraints, Information-Based Optimal Subdata Selection for Big Data Linear Regression, Object-oriented programming of adaptive finite element and finite volume methods, Comparing object encodings., An object oriented C++ parallel compiler system, Object inheritance beyond subtyping
