SIMULA: an ALGOL-based simulation language

DOI10.1145/365813.365819MaRDI QIDQ5514831zbMATH OpenOpenAlexFDO

Authors Ole-Johan Dahl, Kristen Nygaard

Publication date 1966

Published in Communications of the ACM (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/365813.365819

zbMATH Keywords

numerical analysis

Cited in

(32)

• On environment-driven software model for internetware
• A framework for modeling the semantics of synchronous and asynchronous procedures with abstract state machines
• Non-deterministic programming
• Discrete event simulation modelling of computer systems for performance evaluation
• MRI: modular reasoning about interference in incremental programming
• Concurrency and objects matter! Disentangling the fabric of real operational processes to create digital twins
• GUS, a frame-driven dialog system
• A semantics of multiple inheritance
• The critical inclination in artificial satellite theory
• Objects and classes in Algol-like languages
• Control extension in a recursive language
• Orthogonality of information structures
• Coroutine sequencing in a block structured environment
• Operations on records
• Domain-specific semantics and data refinement of object models
• Towards a language for concurrent processes
• Types in programming languages, between modelling, abstraction, and correctness (extended abstract)
• Simula 67
• Modeling paradigms for discrete event simulation
• Object-oriented simulation to support research in manufacturing systems
• scientific article; zbMATH DE number 1522144 (Why is no real title available?)
• scientific article; zbMATH DE number 1525070 (Why is no real title available?)
• Operations on records
• Recursive types for Fun
• Object-oriented programming in control system design: A survey
• scientific article; zbMATH DE number 1555491 (Why is no real title available?)
• An Overview of Object-Oriented Simulation
• Agent-Based Modeling and Computer Languages
• Issues in the design of a parallel object-oriented language
• A decade of TAPSOFT. Aspects of progress and prospects in theory and practice of software development
• A proof rule for multiple coroutine systems
• \(\pi\)\textsc{HyFlow}: formalism, semantics, and applications

This page was built for publication: SIMULA: an ALGOL-based simulation language

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5514831)