WasmRef-Isabelle: A Verified Monadic Interpreter and Industrial Fuzzing Oracle for WebAssembly.
Conrad WattMaja TrelaPeter LammichFlorian MärklPublished in: Proc. ACM Program. Lang. (2023)
Keyphrases
- theorem prover
- industrial applications
- oracle database
- datalog queries
- deductive databases
- programming language
- industrial environment
- commercial systems
- production system
- database applications
- logic programming
- database administrators
- datalog programs
- database security
- quality improvement
- technology transfer
- databases
- database
- object oriented
- transitive closure
- pl sql
- expert systems