BETA
From MaRDI portal
Software:15647
No author found.
Related Items (22)
Constraining interference in an object-based design method ⋮ Unnamed Item ⋮ An object-oriented approach to structural analysis and design ⋮ Unnamed Item ⋮ Honesty by Typing ⋮ Matching MyType to subtyping ⋮ Modelling and analysis of distributed program execution in BETA using coloured Petri Nets ⋮ Unnamed Item ⋮ A language for generic programming in the large ⋮ Metamodeling semantics of multiple inheritance ⋮ Unnamed Item ⋮ On an algorithm determining direct superclasses in Java and similar languages with inner classes-its correctness, completeness and uniqueness of solutions ⋮ Object-oriented simulation of systems with sophisticated control ⋮ An Overview of CaesarJ ⋮ Unnamed Item ⋮ BetaSIM ⋮ Comparing object encodings. ⋮ Multiple inheritance in SIMULA-like languages ⋮ Foundations for virtual types ⋮ On inner classes ⋮ Synchronization abstraction in the BETA programming language ⋮ Unnamed Item
This page was built for software: BETA
