Mathematical foundations of motivation languages and synthesis maps

1. KLEENE, S.C.: Introduction to Metamathematics North Holland, Amsterdam (firth reprint, 1967).

   Google Scholar 

2. CONSTABLE, R.L.: Constructive Mathematics and automatic program writers IFIP Congress 1971, North Holland, Amsterdam.

   Google Scholar 

3. DEGLI ANTONI; MIGLIOLI; ORNAGHI: The Synthesis of Programs in an intuitionistic frame extended version of Top-down approach to the Synthesis of programs Colloque sur la programmation, Paris (Ap. 1974).

   Google Scholar 

4. DEGLI ANTONI; MIGLIOLI, ORNAGHI: The Synthesis of Programs as an approach to the construction of reliable Programs — Submitted to International Conference on Reliable Software 1974, Los Angeles.

   Google Scholar 

5. MIGLIOLI, P.A.: Notes on Motivation Languages and Synthesis Maps Internal report of the Gruppo Elettronica e Cibernetica, v. Viotti 5 — MIlano.

   Google Scholar 

Download references