Welterweight Java

swMATH24343MaRDI QIDQ36101FDOQ36101

Author name not available (Why is that?)

Cited In (2)

• Specification and static enforcement of scheduler-independent noninterference in a middleweight Java
• A reduction semantics for direct-style asynchronous observables

This page was built for software: Welterweight Java