swMATH21333MaRDI QIDQ33141FDOQ33141
Author name not available (Why is that?)
Official website: http://www.simula67.info/
Cited In (only showing first 100 items - show all)
- Title not available (Why is that?)
- 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
- 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
- Operations on records
- Storage administration in a virtual memory Simula system
- History of Nordic computing. IFIP WG9.7 first working conference on the history of Nordic computing (HiNC1), June 16--18, 2003, Trondheim, Norway.
- Title not available (Why is that?)
- Types in programming languages, between modelling, abstraction, and correctness (extended abstract)
- PL/I as a discrete event simulation tool
- Mixin composition synthesis based on intersection types
- Modeling paradigms for discrete event simulation
- Title not available (Why is that?)
- An experience in implementing abstract data types
- First-Class Type Classes
- Access mechanisms in block structured environments
- Object inheritance beyond subtyping
- Dynamically structured data
- Uses of the SIMULA process concept
- Mathematics as information compression via the matching and unification of patterns
- Title not available (Why is that?)
- Recursive types for Fun
- Object-oriented programming in control system design: A survey
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Computer system simulation in Pascal
- Implementing a compiler-based test tool
- Title not available (Why is that?)
- Title not available (Why is that?)
- Concepts in Programming Languages
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Synthesizing implementations of abstract data types from axiomatic specifications
- Title not available (Why is that?)
- 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
- Agent-based computational transaction cost economics
- Title not available (Why is that?)
- 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?)
- Verification of a class of link-level protocols
- 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.
- Title not available (Why is that?)
- GUS, a frame-driven dialog system
- A semantics of multiple inheritance
- 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
- 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
- Methods and means of parallel processing of information
- Control discipline necessity: Making the language as general as the implementation
- Elkhound
- Consistent micro, macro and state-based population modelling
- Lambda Library C++
- Omola
- SIMSCRIPT
- Ada95
- eSkel
- Miranda
- Commonloops
- Creol
- YAFOOL
- STELLA
- ObjectMath
- Fortress
- PolyTOIL
- Ruby
- Powersim
- DPUP
- Java Jr
- ALGOL 60
- XASM
- HybridILPMiner
This page was built for software: Simula 67