Seng Joe Watt

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Concurrent Systems

Domain Specific Languages

Attribute Grammars

Top Venues

Publications

Seng Joe Watt, Oliver R. Goodenough, Meng Weng Wong
Deontics and Time in Contracts: An Executable Semantics for the L4 DSL. JURIX (2023)