External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A Program Logic for First-Order Encapsulated WebAssembly

Conrad Watt, Petar Maksimovic, Neelakantan R. Krishnaswami, Philippa Gardner. A Program Logic for First-Order Encapsulated WebAssembly. In Alastair F. Donaldson, editor, 33rd European Conference on Object-Oriented Programming, ECOOP 2019, July 15-19, 2019, London, United Kingdom. Volume 134 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2019. [doi]

Authors

Conrad Watt

This author has not been identified. Look up 'Conrad Watt' in Google

Petar Maksimovic

This author has not been identified. Look up 'Petar Maksimovic' in Google

Neelakantan R. Krishnaswami

This author has not been identified. Look up 'Neelakantan R. Krishnaswami' in Google

Philippa Gardner

This author has not been identified. Look up 'Philippa Gardner' in Google
runs on