Verification of webassembly programs
WebAssembly is a new low-level language and compilation target mainly for the web that is already shipped in all major browsers in its minimum viable product version. The current version does not support exception handling, and therefore runtime errors cannot be handled inside the WebAssembly code....
Saved in:
| Main Author: | |
|---|---|
| Format: | masterThesis |
| Language: | English |
| Published: |
2019
|
| Subjects: | |
| Online Access: | https://hdl.handle.net/20.500.12381/292 http://minerva.mq.edu.au:8080/vital/access/manager/Repository/mq:71163 |
| Tags: |
No Tags, Be the first to tag this record!
|
Similar Items: Verification of webassembly programs
- On the specification and verification of the PCR parallel programming pattern in TLA+
- Active Learning of Regular Languages as an Approach to Neural Language Models Verification
- FLEA: Aprendizaje Federado aplicado a Analíticas de Aprendizaje
- WebRequests
- Whole genome sequencing reveals a frameshift mutation and a large deletion in YY1AP1 in a girl with a panvascular artery disease
- Informe final del proyecto: Herramienta de privatización de datos secuenciales para su aplicación en la detección de anomalías colectivas en ciberseguridad