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