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....

Fuld beskrivelse

Bibliografiske detaljer

Hovedforfatter:	Ocampo Herrera, Diego Ignacio (author)
Format:	masterThesis
Sprog:	engelsk
Udgivet:	2019
Fag:	webassembly, software-verification Ciencias Naturales y Exactas Ciencias de la Computación e Información
Online adgang:	https://hdl.handle.net/20.500.12381/292 http://minerva.mq.edu.au:8080/vital/access/manager/Repository/mq:71163
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!