swMATH3114MaRDI QIDQ15647FDOQ15647
Author name not available (Why is that?)
Official website: http://cs.au.dk/~beta/
Cited In (35)
- Title not available (Why is that?)
- A language for generic programming in the large
- Metamodeling semantics of multiple inheritance
- Matching MyType to subtyping
- 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
- Commonloops
- AspectS
- YAFOOL
- PolyTOIL
- Modelling and analysis of distributed program execution in BETA using coloured Petri nets
- Theseus
- Simula 67
- mural
- Tribe
- CaesarJ
- gbeta
- LOGLAN
- ABCL
- Diogenes
- On inner classes
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Honesty by typing
- Title not available (Why is that?)
This page was built for software: BETA
