Simula 67
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Object-oriented programming: some history, and challenges for the next fifty years
- scientific article; zbMATH DE number 977087 (Why is no real title available?)
- Discrete event simulation in algol 68
- 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
- scientific article; zbMATH DE number 3793382 (Why is no real title available?)
- Non-deterministic programming
- A foundation for conceptual data structures by cylindric and partial algebras
- scientific article; zbMATH DE number 930353 (Why is no real title available?)
- scientific article; zbMATH DE number 3639189 (Why is no real title available?)
- scientific article; zbMATH DE number 3271193 (Why is no real title available?)
- Verification of a class of link-level protocols
- scientific article; zbMATH DE number 815772 (Why is no real title available?)
- Discrete event simulation modelling of computer systems for performance evaluation
- scientific article; zbMATH DE number 42706 (Why is no real title available?)
- scientific article; zbMATH DE number 814793 (Why is no real title available?)
- Critical comments on the programming language Pascal
- scientific article; zbMATH DE number 4043286 (Why is no real title available?)
- scientific article; zbMATH DE number 43023 (Why is no real title available?)
- Multiple inheritance in SIMULA-like languages
- Concurrency and objects matter! Disentangling the fabric of real operational processes to create digital twins
- scientific article; zbMATH DE number 49147 (Why is no real title available?)
- scientific article; zbMATH DE number 3381856 (Why is no real title available?)
- scientific article; zbMATH DE number 3383554 (Why is no real title available?)
- List structures in SIMULA and PL/1—a comparison
- scientific article; zbMATH DE number 52333 (Why is no real title available?)
- Comparing object encodings.
- scientific article; zbMATH DE number 3938532 (Why is no real title available?)
- scientific article; zbMATH DE number 3798995 (Why is no real title available?)
- GUS, a frame-driven dialog system
- scientific article; zbMATH DE number 3513285 (Why is no real title available?)
- A semantics of multiple inheritance
- scientific article; zbMATH DE number 3421897 (Why is no real title available?)
- Programming by successive refinement of data abstractions
- Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
- scientific article; zbMATH DE number 3553789 (Why is no real title available?)
- Control extension in a recursive language
- scientific article; zbMATH DE number 613708 (Why is no real title available?)
- A FORMALIZATION OF SOME SIMULATION LANGUAGE CONCEPTS
- Procedure mechanisms of abstraction
- DISCO- a SIMULA-based language for continuous combined and discrete simulation
- Programming language ALGOL 68
- Orthogonality of information structures
- Coroutine sequencing in a block structured environment
- Optimal memory management in a system with garbage collection
- Lazy behavioral subtyping
- An operational semantics for object-oriented concepts based on the class hierarchy
- Design and evaluation of C++ open multi-methods
- Operations on records
- On an algorithm determining direct superclasses in Java and similar languages with inner classes-its correctness, completeness and uniqueness of solutions
- scientific article; zbMATH DE number 223549 (Why is no real title available?)
- Domain-specific semantics and data refinement of object models
- History of Nordic computing. IFIP WG9.7 first working conference on the history of Nordic computing (HiNC1), June 16--18, 2003, Trondheim, Norway.
- Storage administration in a virtual memory Simula system
- Control: a perspective
- scientific article; zbMATH DE number 194893 (Why is no real title available?)
- Types in programming languages, between modelling, abstraction, and correctness (extended abstract)
- Elkhound
- 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
This page was built for software: Simula 67
