论文信息 - A Basis for a Theory of Program Synthesis - 字舞流文

A Basis for a Theory of Program Synthesis

P. A. Subrahmanyam

[1] Ellis Horowitz,et al. The design of data type specifications , 1976, ICSE '76.

[2] David R. Barstow,et al. Knowledge-based program construction , 1979 .

[3] Joseph A. Goguen,et al. Initial Algebra Semantics and Continuous Algebras , 1977, J. ACM.

[4] Pasupathi Ananta Subrahmanyam. Towards a theory of program synthesis: automating implementations of abstract data types , 1979 .

[5] Ellis Horowitz,et al. Abstract data types and software validation , 1978, CACM.