A Program Logic for First-Order Encapsulated WebAssembly.

Conrad Watt, Petar Maksimovic, Neelakantan R. Krishnaswami, Philippa Gardner

Browse the full ECOOP paper archive.