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

Full description

Bibliographic Details

Main Author:	Ocampo Herrera, Diego Ignacio (author)
Format:	masterThesis
Language:	English
Published:	2019
Subjects:	webassembly, software-verification Ciencias Naturales y Exactas Ciencias de la Computación e Información
Online Access:	https://hdl.handle.net/20.500.12381/292 http://minerva.mq.edu.au:8080/vital/access/manager/Repository/mq:71163
Tags:	Add Tag No Tags, Be the first to tag this record!