Suche

Verifying a Compiler Optimization for Multi-Threaded Java

Bernhard Reus, Alexander Knapp, Pietro Cenciarelli, Martin Wirsing

In: Francesco Parisi Presicce (Hg.). Sel. Papers 12th Int. Wsh. Recent Trends in Algebraic Development Techniques. Lect. Notes Comp. Sci. 1376, Springer, Berlin, 1998. S. 402-417.


Downloads: