Fortress
From MaRDI portal
Software:24947
swMATH13026MaRDI QIDQ24947FDOQ24947
Author name not available (Why is that?)
Cited In (15)
- An on-the-fly grammar modification mechanism for composing and defining extensible languages
- Dependence analysis for safe futures
- Performance driven distributed scheduling of parallel hybrid computations
- More dependent types for distributed arrays
- An automatic parallelization framework for algebraic computation systems
- Design and evaluation of C++ open multi-methods
- As-if-serial exception handling semantics for Java futures
- Featherweight Java with dynamic and static overloading
- Integrating coercion with subtyping and multiple dispatch
- A User-friendly Interface for a Lightweight Verification System
- Implementation of parallel programs interpreter in the development environment ParJava
- Combining traits with boxes and ownership types in a Java-like setting
- Nebelung: Execution environment for transactional openmp
- On flexible dynamic trait replacement for Java-like languages
- Executing Java programs with transactional memory
This page was built for software: Fortress
