Welterweight Java

MaRDI QIDQ36101swMATHFDO

Official website https://link.springer.com/chapter/10.1007/978-3-642-13953-6_6

Cited in

(4)

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

This page was built for software: Welterweight Java