Deontics and Time in Contracts: An Executable Semantics for the L4 DSL.
Seng Joe WattOliver R. GoodenoughMeng Weng WongPublished in: JURIX (2023)
Keyphrases
- attribute grammars
- process algebra
- formal semantics
- domain specific languages
- supply chain
- logic programming
- semantic information
- formal specification
- control flow
- concurrent systems
- programming language
- data mining
- specification language
- update semantics
- transformation rules
- logical framework
- owl ontologies
- formal methods
- general purpose
- expert systems