论文信息 - Deductive Synthesis - 字舞流文

Deductive Synthesis

Jochen Burghardt

[1] Zohar Manna,et al. A Deductive Approach to Program Synthesis , 1979, TOPL.

[2] K. Mani Chandy,et al. Parallel program design - a foundation , 1988 .

[3] K. Mani Chandy. Parallel program design , 1989 .

[4] Zohar Manna,et al. Special relations in automated deduction , 1985, JACM.