[学位论文]
  • Hu, Qinheping.
  • The University of Wisconsin - Madison.
ISBN 9798519108034
作者 Hu, Qinheping.   授予学位单位 The University of Wisconsin - Madison.  
导师 D‘Antoni, Loris 学位 Ph.D.
学科 Computer science.   Dissertations & theses.   Grammar.   Algorithms.   Objectives.   Syntax.   Boolean.   Debugging.   Semantics.   Programmers.   国籍 US
页码/总页数 182 p. / 182 出版年 2021
中图分类号 TP
关键词 Formal method   Program synthesis   Programming language