The following pages link to Simula 67 (Q33141):
Displayed 50 items.
- Object-oriented programming: some history, and challenges for the next fifty years (Q393077) (← links)
- Control: a perspective (Q463779) (← links)
- Metamodeling semantics of multiple inheritance (Q532422) (← links)
- Procedure mechanisms of abstraction (Q595363) (← links)
- Design and evaluation of C++ open multi-methods (Q608250) (← links)
- Lazy behavioral subtyping (Q710675) (← links)
- An operational semantics for object-oriented concepts based on the class hierarchy (Q736789) (← links)
- PROCOL. A concurrent object-oriented language with protocols delegation and constraints (Q758195) (← links)
- The correction of a two sample sequential t-test developed by Hajnal (Q808598) (← links)
- Creol: A type-safe object-oriented model for distributed concurrent systems (Q854164) (← links)
- Issues in the design of a parallel object-oriented language (Q909434) (← links)
- A modest model of records, inheritance, and bounded quantification (Q922718) (← links)
- Consistent micro, macro and state-based population modelling (Q975955) (← links)
- On an algorithm determining direct superclasses in Java and similar languages with inner classes-its correctness, completeness and uniqueness of solutions (Q1013086) (← links)
- Multiple inheritance in SIMULA-like languages (Q1059390) (← links)
- A foundation for conceptual data structures by cylindric and partial algebras (Q1094154) (← links)
- A semantics of multiple inheritance (Q1106652) (← links)
- Designing equivalent semantic models for process creation (Q1107305) (← links)
- A simulation tool for the performance evaluation of parallel branch and bound algorithms (Q1111941) (← links)
- Depth-first K-trees and critical path analysis (Q1138380) (← links)
- Programming language ALGOL 68 (Q1140980) (← links)
- Orthogonality of information structures (Q1141477) (← links)
- Methods and means of parallel processing of information (Q1155954) (← links)
- Control discipline necessity: Making the language as general as the implementation (Q1162804) (← links)
- Access mechanisms in block structured environments (Q1169282) (← links)
- Recursive types for Fun (Q1176245) (← links)
- LOGLAN '88. Report on the programming language (Q1188641) (← links)
- Conditional rewriting logic as a unified model of concurrency (Q1190488) (← links)
- Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations (Q1196302) (← links)
- A proof rule for multiple coroutine systems (Q1225452) (← links)
- Language design methods based on semantic principles (Q1225927) (← links)
- Toward a system's environment for computer assisted programming (Q1226388) (← links)
- GUS, a frame-driven dialog system (Q1238440) (← links)
- Data types, abstract data types and their specification problem (Q1252032) (← links)
- Discrete event simulation modelling of computer systems for performance evaluation (Q1254859) (← links)
- Modeling paradigms for discrete event simulation (Q1316093) (← links)
- Object inheritance beyond subtyping (Q1323343) (← links)
- Plain CHOCS. A second generation calculus for higher order processes (Q1323361) (← links)
- Object-oriented programming in control system design: A survey (Q1333435) (← links)
- Agent-based computational transaction cost economics (Q1583457) (← links)
- An object-oriented parallel programming language for distributed-memory parallel computing platforms (Q1651016) (← links)
- History of Nordic computing. IFIP WG9.7 first working conference on the history of Nordic computing (HiNC1), June 16--18, 2003, Trondheim, Norway. (Q1774162) (← links)
- Comparing object encodings. (Q1854318) (← links)
- On inner classes (Q1854553) (← links)
- A framework for modeling the semantics of synchronous and asynchronous procedures with abstract state machines (Q2117610) (← links)
- Concurrency and objects matter! Disentangling the fabric of real operational processes to create digital twins (Q2119954) (← links)
- Critical comments on the programming language Pascal (Q2264544) (← links)
- Mathematics as information compression via the matching and unification of patterns (Q2281995) (← links)
- Simulation of a multiterminal system for container handling (Q2432101) (← links)
- Proof of correctness of data representations (Q2554952) (← links)