scientific article; zbMATH DE number 3986617
From MaRDI portal
Publication:3750106
Cited in
(32)- A modest model of records, inheritance, and bounded quantification
- Normalization by leftmost innermost rewriting
- DEVS methodology for evaluating time-constrained message routing policies
- C++: Evolving Toward a More Powerful Language
- Hybrid concurrency control for abstract data types
- scientific article; zbMATH DE number 45285 (Why is no real title available?)
- scientific article; zbMATH DE number 47405 (Why is no real title available?)
- Comparing object encodings.
- Coalgebras for binary methods: Properties of bisimulations and invariants
- More efficient estimation for logistic regression with optimal subsamples
- Syntactic adaptability of programming languages
- Behavioral interface description of an object-oriented language with futures and promises
- Operations on records
- Generic algorithms for solving O. D. E using the tau method with an error estimation
- scientific article; zbMATH DE number 945083 (Why is no real title available?)
- An object oriented C++ parallel compiler system
- Large scale object-oriented finite element code design
- Object inheritance beyond subtyping
- Object-oriented programming in control system design: A survey
- Information-Based Optimal Subdata Selection for Big Data Linear Regression
- PROCOL. A concurrent object-oriented language with protocols delegation and constraints
- Verifying atomic data types
- An automatic and guaranteed determination of the number of roots of an analytic function interior to a simple closed curve in the complex plane
- A model checker for linear time temporal logic
- An algebraic approach to formalization of object-orientation*
- scientific article; zbMATH DE number 5679834 (Why is no real title available?)
- OSIPE - a tool for scientific programming in FORTRAN
- From concepts to consistent object specifications: Translation of a domain-oriented feature framework into practice
- HIERARCHICAL SYSTEM CONCEPTS FOR SIMULATION OF HIGH AUTONOMY SYSTEMS
- The AMPL modeling language: an aid to formulating and solving optimization problems
- A delegation-based object calculus with subtyping
- Object-oriented programming of adaptive finite element and finite volume methods
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 Q3750106)