Search results
From MaRDI portal
- compositional operational semantics for Java\(_{\text{MT}}\) 2010-03-23 Paper A tool-supported proof system for multithreaded Java. 2010-02-09 Paper Inductive proof...10 bytes (15 words) - 12:50, 7 October 2023
- clusters of SMPs with data parallel programs zbMATH Keywords coherence granularityJava-compliant multithreaded programming Mathematics Subject Classification...15 bytes (186 words) - 07:47, 1 February 2024
