Simula 67

From MaRDI portal
Revision as of 20:36, 5 March 2024 by Import240305080343 (talk | contribs) (Created automatically from import240305080343)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Software:33141



swMATH21333MaRDI QIDQ33141


No author found.





Related Items (only showing first 100 items - show all)

Unnamed ItemUnnamed ItemA heuristical algorithm for simple exponential analysisUnnamed ItemStorage administration in a virtual memory Simula systemCoroutine sequencing in a block structured environmentControl extension in a recursive languageUnnamed ItemUnnamed ItemAn Algebraic Theory of Actors and Its Application to a Simple Object-Based LanguageConsistency of Inheritance in Object-Oriented Languages and of Static, ALGOL-like BindingUnnamed ItemUnnamed ItemUnnamed ItemUnnamed ItemUnnamed ItemA SIMULA-based structure oriented language for the dynamic simulation of chemical plantsConcepts in Programming LanguagesA low‐cost implementation of coroutines for CUnnamed ItemUnnamed ItemUnnamed ItemUnnamed ItemUnnamed ItemOperations on recordsAdding classes to the C language: An exercise in language evolutionUnnamed ItemUnnamed ItemUnnamed ItemNon-deterministic programmingConcurrency and objects matter! Disentangling the fabric of real operational processes to create digital twinsUnnamed ItemUnnamed ItemObject-oriented programming in control system design: A surveyA foundation for conceptual data structures by cylindric and partial algebrasUnnamed ItemCreol: A type-safe object-oriented model for distributed concurrent systemsTypes in Programming Languages, Between Modelling, Abstraction, and CorrectnessAn object-oriented parallel programming language for distributed-memory parallel computing platformsA semantics of multiple inheritanceDesigning equivalent semantic models for process creationUnnamed ItemA simulation tool for the performance evaluation of parallel branch and bound algorithmsUnnamed ItemProcedure mechanisms of abstractionUnnamed ItemUnnamed ItemUnnamed ItemDesign and evaluation of C++ open multi-methodsObject-oriented programming: some history, and challenges for the next fifty yearsDepth-first K-trees and critical path analysisUnnamed ItemProgramming language ALGOL 68Orthogonality of information structuresUnnamed ItemUnnamed ItemList structures in SIMULA and PL/1—a comparisonUnnamed ItemUnnamed ItemSimulation of a multiterminal system for container handlingMethods and means of parallel processing of informationIssues in the design of a parallel object-oriented languageUnnamed ItemDiscrete event simulation in algol 68Control discipline necessity: Making the language as general as the implementationA modest model of records, inheritance, and bounded quantificationAccess mechanisms in block structured environmentsControl: a perspectiveFirst-Class Type ClassesRecursive types for FunUnnamed ItemLOGLAN '88. Report on the programming languageConditional rewriting logic as a unified model of concurrencyOptimal memory management in a system with garbage collectionOrder-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operationsSynthesizing implementations of abstract data types from axiomatic specificationsMetamodeling semantics of multiple inheritanceUnnamed ItemCritical comments on the programming language PascalConsistent micro, macro and state-based population modellingLazy behavioral subtypingHistory of Nordic computing. IFIP WG9.7 first working conference on the history of Nordic computing (HiNC1), June 16--18, 2003, Trondheim, Norway.A proof rule for multiple coroutine systemsLanguage design methods based on semantic principlesToward a system's environment for computer assisted programmingPL/I as a discrete event simulation toolThe programming of structural relationships in dynamic environmentsThe use of a procedure-oriented language for process-oriented simulationUnnamed ItemAnother look at type compatibility in pascalAn exercise in program design using SIMULA class invariantsProgramming by successive refinement of data abstractionsParallel compilation: A design and its application to SIMULA 67GUS, a frame-driven dialog systemDISCO- a SIMULA-based language for continuous combined and discrete simulationMathematics as information compression via the matching and unification of patternsUnnamed ItemUnnamed ItemDesign and implementation of data abstraction definition facilityUnnamed Item


This page was built for software: Simula 67