View in EDS PDF Full Text

Towards Porting Operating Systems with Program Synthesis.

Saved in:
Bibliographic Details
Title: Towards Porting Operating Systems with Program Synthesis.
Authors: JINGMEI HU1, LU, ERIC1, HOLLAND, DAVID A.1, MING KAWAGUCHI1, CHONG, STEPHEN1, SELTZER, MARGO2
Source: ACM Transactions on Programming Languages & Systems; Mar2023, Vol. 45 Issue 1, p1-70, 70p
Database: Applied Science & Technology Source
Description
ISSN:01640925
DOI:10.1145/3563943