Repository | Book | Chapter
(1987) Mathematical logic and its applications, Dordrecht, Springer.
Constructive theories with abstract data types for program synthesis
Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
pp. 293-302
The research explained in this paper originates from program synthesis in the frame of intuitionistic logic [6] and has been furtherly developed as a study involving, on the one hand, constructive proofs as programs [12], on the other hand the possibility of providing axiomatizations of mathematical structures (abstract data types) compatible with constructive logical principles [3].
Publication details
DOI: 10.1007/978-1-4613-0897-3_21
Full citation:
Miglioli, P. , Moscato, U. , Ornaghi, M. (1987)., Constructive theories with abstract data types for program synthesis, in D. G. Skordev (ed.), Mathematical logic and its applications, Dordrecht, Springer, pp. 293-302.
This document is unfortunately not available for download at the moment.