Verifying a compiler optimization for Multi-Threaded Java

• Authors:

• Bernhard Reus;Alexander Knapp;Pietro Cenciarelli;Martin Wirsing

• Affiliations:

• -;-;-;-

• Venue:
• WADT '97 Selected papers from the 12th International Workshop on Recent Trends in Algebraic Development Techniques
• Year:
• 1997