Simula 67
From MaRDI portal
Cited in
(only showing first 100 items - show all)- On an algorithm determining direct superclasses in Java and similar languages with inner classes-its correctness, completeness and uniqueness of solutions
- Multiple inheritance in SIMULA-like languages
- A foundation for conceptual data structures by cylindric and partial algebras
- A semantics of multiple inheritance
- Designing equivalent semantic models for process creation
- A simulation tool for the performance evaluation of parallel branch and bound algorithms
- Depth-first K-trees and critical path analysis
- Programming language ALGOL 68
- Orthogonality of information structures
- Methods and means of parallel processing of information
- Control discipline necessity: Making the language as general as the implementation
- Access mechanisms in block structured environments
- Recursive types for Fun
- LOGLAN '88. Report on the programming language
- Conditional rewriting logic as a unified model of concurrency
- Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
- A proof rule for multiple coroutine systems
- Language design methods based on semantic principles
- Toward a system's environment for computer assisted programming
- GUS, a frame-driven dialog system
- Data types, abstract data types and their specification problem
- Discrete event simulation modelling of computer systems for performance evaluation
- Elkhound
- Modeling paradigms for discrete event simulation
- Object inheritance beyond subtyping
- Plain CHOCS. A second generation calculus for higher order processes
- Object-oriented programming in control system design: A survey
- Lambda Library C++
- SIMSCRIPT
- Omola
- SONCHES
- Oberon
- Modula
- ALGOL 68
- DYNAMO
- ET++
- ParoC++
- Smalltalk
- Ada95
- PROCOL
- BETA
- Agent-based computational transaction cost economics
- POOL
- CLOS
- Eiffel
- An object-oriented parallel programming language for distributed-memory parallel computing platforms
- eSkel
- Miranda
- History of Nordic computing. IFIP WG9.7 first working conference on the history of Nordic computing (HiNC1), June 16--18, 2003, Trondheim, Norway.
- Comparing object encodings.
- On inner classes
- Commonloops
- YAFOOL
- A framework for modeling the semantics of synchronous and asynchronous procedures with abstract state machines
- Concurrency and objects matter! Disentangling the fabric of real operational processes to create digital twins
- Creol
- Critical comments on the programming language Pascal
- Mathematics as information compression via the matching and unification of patterns
- STELLA
- Simulation of a multiterminal system for container handling
- ObjectMath
- Fortress
- Proof of correctness of data representations
- PolyTOIL
- Ruby
- Powersim
- Domain-specific semantics and data refinement of object models
- Synthesizing implementations of abstract data types from axiomatic specifications
- DPUP
- Java Jr
- Types in programming languages, between modelling, abstraction, and correctness (extended abstract)
- XASM
- scientific article; zbMATH DE number 3852465 (Why is no real title available?)
- scientific article; zbMATH DE number 3860372 (Why is no real title available?)
- scientific article; zbMATH DE number 3868579 (Why is no real title available?)
- scientific article; zbMATH DE number 3876569 (Why is no real title available?)
- PL/I as a discrete event simulation tool
- ALGOL 60
- First-Class Type Classes
- scientific article; zbMATH DE number 3938532 (Why is no real title available?)
- scientific article; zbMATH DE number 3963174 (Why is no real title available?)
- scientific article; zbMATH DE number 3972153 (Why is no real title available?)
- PL/I
- HybridILPMiner
- scientific article; zbMATH DE number 4043286 (Why is no real title available?)
- Dylan
- LOGLAN
- Programming by successive refinement of data abstractions
- scientific article; zbMATH DE number 3673568 (Why is no real title available?)
- DISCO- a SIMULA-based language for continuous combined and discrete simulation
- ALSI
- scientific article; zbMATH DE number 3698350 (Why is no real title available?)
- scientific article; zbMATH DE number 3714962 (Why is no real title available?)
- An experience in implementing abstract data types
- A FORMALIZATION OF SOME SIMULATION LANGUAGE CONCEPTS
- Dynamically structured data
- Uses of the SIMULA process concept
- Object-oriented programming: some history, and challenges for the next fifty years
- scientific article; zbMATH DE number 3759534 (Why is no real title available?)
- Computer system simulation in Pascal
This page was built for software: Simula 67
