swMATH21333MaRDI QIDQ33141FDOQ33141
Author name not available (Why is that?)
Official website: http://www.simula67.info/
Cited In (only showing first 100 items - show all)
- Object-oriented programming: some history, and challenges for the next fifty years
- A framework for modeling the semantics of synchronous and asynchronous procedures with abstract state machines
- A modest model of records, inheritance, and bounded quantification
- Metamodeling semantics of multiple inheritance
- A foundation for conceptual data structures by cylindric and partial algebras
- Title not available (Why is that?)
- Title not available (Why is that?)
- Multiple inheritance in SIMULA-like languages
- Title not available (Why is that?)
- Title not available (Why is that?)
- Comparing object encodings.
- A semantics of multiple inheritance
- Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
- Procedure mechanisms of abstraction
- Lazy behavioral subtyping
- An operational semantics for object-oriented concepts based on the class hierarchy
- Design and evaluation of C++ open multi-methods
- Domain-specific semantics and data refinement of object models
- On an algorithm determining direct superclasses in Java and similar languages with inner classes-its correctness, completeness and uniqueness of solutions
- Control: a perspective
- Elkhound
- Consistent micro, macro and state-based population modelling
- Lambda Library C++
- Omola
- SIMSCRIPT
- ALGOL 68
- DYNAMO
- Modula
- Oberon
- SONCHES
- ET++
- ParoC++
- Ada95
- Smalltalk
- PROCOL
- BETA
- CLOS
- POOL
- Eiffel
- eSkel
- Miranda
- Commonloops
- Creol
- YAFOOL
- STELLA
- ObjectMath
- Fortress
- PolyTOIL
- Ruby
- Powersim
- DPUP
- Java Jr
- ALGOL 60
- XASM
- HybridILPMiner
- Dylan
- PL/I
- ALSI
- LOGLAN
- ABCL
- AUTOSAR
- BCPL
- GASP IV
- Consistency of inheritance in object-oriented languages and of static, ALGOL-like binding
- On inner classes
- Ibuild
- A simulation tool for the performance evaluation of parallel branch and bound algorithms
- PROCOL. A concurrent object-oriented language with protocols delegation and constraints
- An algebraic theory of actors and its application to a simple object-based language
- Proof of correctness of data representations
- Data types, abstract data types and their specification problem
- Plain CHOCS. A second generation calculus for higher order processes
- Creol: A type-safe object-oriented model for distributed concurrent systems
- Simulation of a multiterminal system for container handling
- LOGLAN '88. Report on the programming language
- An object-oriented parallel programming language for distributed-memory parallel computing platforms
- Issues in the design of a parallel object-oriented language
- Conditional rewriting logic as a unified model of concurrency
- The correction of a two sample sequential t-test developed by Hajnal
- Designing equivalent semantic models for process creation
- Depth-first K-trees and critical path analysis
- Title not available (Why is that?)
- Verification of a class of link-level protocols
- Title not available (Why is that?)
- Title not available (Why is that?)
- Discrete event simulation modelling of computer systems for performance evaluation
- Critical comments on the programming language Pascal
- Concurrency and objects matter! Disentangling the fabric of real operational processes to create digital twins
- Title not available (Why is that?)
- GUS, a frame-driven dialog system
- Programming by successive refinement of data abstractions
- Title not available (Why is that?)
- Title not available (Why is that?)
- A FORMALIZATION OF SOME SIMULATION LANGUAGE CONCEPTS
- DISCO- a SIMULA-based language for continuous combined and discrete simulation
- Coroutine sequencing in a block structured environment
- Programming language ALGOL 68
- Orthogonality of information structures
- Operations on records
- Storage administration in a virtual memory Simula system
This page was built for software: Simula 67
