Lectures on the Logic of Computer Programming || 5. Synthesis of Programs
- 作者Manna, Zohar
- 文件大小297.81KB
- 发表时间1980
- DOI10.1137/1.9781611970388.ch5
- 页码25-38
同作者推荐
The correctness of nondeterministic programsZohar Manna · 1970
Knowledge and reasoning in program synthesisZohar Manna; Richard Waldinger · 1975
Deductive synthesis of the unification algorithmZohar Manna; Richard Waldinger · 1981
The correctness of programsZohar Manna · 1969
Mathematical theory of partial correctnessZohar Manna · 1971
Temporal logic programmingMartín Abadi; Zohar Manna · 1989
A closer look at terminationShmuel Katz; Zohar Manna · 1975
Models for reactivityZohar Manna; Amir Pnueli · 1993