Simula 67

swMATH21333MaRDI QIDQ33141FDOQ33141

Author name not available (Why is that?)

Described by source

• SIMULA: an ALGOL-based simulation language

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
• Title not available (Why is that?)
• A foundation for conceptual data structures by cylindric and partial algebras
• Title not available (Why is that?)
• Verification of a class of link-level protocols
• Title not available (Why is that?)
• Discrete event simulation modelling of computer systems for performance evaluation
• Critical comments on the programming language Pascal
• Multiple inheritance in SIMULA-like languages
• Title not available (Why is that?)
• Title not available (Why is that?)
• Comparing object encodings.
• Title not available (Why is that?)
• GUS, a frame-driven dialog system
• A semantics of multiple inheritance
• Title not available (Why is that?)
• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
• Coroutine sequencing in a block structured environment
• Procedure mechanisms of abstraction
• Programming language ALGOL 68
• Orthogonality of information structures
• Lazy behavioral subtyping
• An operational semantics for object-oriented concepts based on the class hierarchy
• Storage administration in a virtual memory Simula system
• 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
• Title not available (Why is that?)
• Control: a perspective
• Methods and means of parallel processing of information
• Control discipline necessity: Making the language as general as the implementation
• Modeling paradigms for discrete event simulation
• Consistent micro, macro and state-based population modelling
• Access mechanisms in block structured environments
• Object inheritance beyond subtyping
• Consistency of inheritance in object-oriented languages and of static, ALGOL-like binding
• On inner classes
• Recursive types for Fun
• 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
• Title not available (Why is that?)
• Designing equivalent semantic models for process creation
• Title not available (Why is that?)
• A proof rule for multiple coroutine systems
• Language design methods based on semantic principles
• Toward a system's environment for computer assisted programming
• Depth-first K-trees and critical path analysis
• Discrete event simulation in algol 68
• Non-deterministic programming
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Concurrency and objects matter! Disentangling the fabric of real operational processes to create digital twins
• Title not available (Why is that?)
• Title not available (Why is that?)
• List structures in SIMULA and PL/1—a comparison
• Title not available (Why is that?)
• Title not available (Why is that?)
• Programming by successive refinement of data abstractions
• Control extension in a recursive language
• Title not available (Why is that?)
• A FORMALIZATION OF SOME SIMULATION LANGUAGE CONCEPTS
• DISCO- a SIMULA-based language for continuous combined and discrete simulation
• Optimal memory management in a system with garbage collection
• Operations on records
• Title not available (Why is that?)
• History of Nordic computing. IFIP WG9.7 first working conference on the history of Nordic computing (HiNC1), June 16--18, 2003, Trondheim, Norway.
• PL/I as a discrete event simulation tool
• Title not available (Why is that?)
• An experience in implementing abstract data types
• First-Class Type Classes
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Dynamically structured data
• Uses of the SIMULA process concept
• The programming of structural relationships in dynamic environments
• The use of a procedure-oriented language for process-oriented simulation
• An exercise in program design using SIMULA class invariants
• Another look at type compatibility in pascal
• Mathematics as information compression via the matching and unification of patterns

This page was built for software: Simula 67