The following pages link to Simula 67 (Q33141):
Displayed 50 items.
- Domain-specific Semantics and Data Refinement of Object Models (Q2873615) (← links)
- Synthesizing implementations of abstract data types from axiomatic specifications (Q3026329) (← links)
- Types in Programming Languages, Between Modelling, Abstraction, and Correctness (Q3188252) (← links)
- (Q3321497) (← links)
- (Q3327702) (← links)
- (Q3334953) (← links)
- (Q3341875) (← links)
- PL/I as a discrete event simulation tool (Q3345769) (← links)
- First-Class Type Classes (Q3543665) (← links)
- (Q3709858) (← links)
- (Q3731014) (← links)
- (Q3738536) (← links)
- (Q3780472) (← links)
- Programming by successive refinement of data abstractions (Q3867154) (← links)
- (Q3870349) (← links)
- DISCO- a SIMULA-based language for continuous combined and discrete simulation (Q3871916) (← links)
- (Q3891736) (← links)
- (Q3906443) (← links)
- An experience in implementing abstract data types (Q3914415) (← links)
- A FORMALIZATION OF SOME SIMULATION LANGUAGE CONCEPTS (Q3914434) (← links)
- Dynamically structured data (Q3925148) (← links)
- Uses of the SIMULA process concept (Q3929023) (← links)
- (Q3942384) (← links)
- Computer system simulation in Pascal (Q3949947) (← links)
- Implementing a compiler-based test tool (Q3951523) (← links)
- (Q3969845) (← links)
- (Q3992528) (← links)
- (Q3992711) (← links)
- (Q3997948) (← links)
- (Q4002644) (← links)
- (Q4040037) (← links)
- List structures in SIMULA and PL/1—a comparison (Q4042641) (← links)
- Discrete event simulation in algol 68 (Q4057459) (← links)
- (Q4092928) (← links)
- (Q4101404) (← links)
- Optimal memory management in a system with garbage collection (Q4105247) (← links)
- (Q4127428) (← links)
- The programming of structural relationships in dynamic environments (Q4147579) (← links)
- The use of a procedure-oriented language for process-oriented simulation (Q4147613) (← links)
- Another look at type compatibility in pascal (Q4153582) (← links)
- An exercise in program design using SIMULA class invariants (Q4153586) (← links)
- Parallel compilation: A design and its application to SIMULA 67 (Q4155809) (← links)
- Design and implementation of data abstraction definition facility (Q4166197) (← links)
- Verification of a class of link-level protocols (Q4174717) (← links)
- (Q4184318) (← links)
- (Q4187301) (← links)
- (Q4197319) (← links)
- (Q4198095) (← links)
- (Q4300590) (← links)
- (Q4331810) (← links)