Work

Verified compilation on a verified processor

Year: 2019

Type: conference-paper

Source: ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

DOI: 10.1145/3314221.3314622

Authors: Andreas Lööw, Ramana Kumar, Yong Kiam Tan, Magnus O. Myreen, Michael Norrish, Oskar Abrahamsson, Anthony Fox

Institutions: Chalmers University of Technology, Google DeepMind (United Kingdom), Carnegie Mellon University, Australian National University, Commonwealth Scientific and Industrial Research Organisation, Data61, ARM (United Kingdom)

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2953840721

FWCI: 2.301

Cites: 24

Cited by: 31

Related to: 10