Contents of Report

[Data of Report]

Report Number:: TR0582
Date of Registration:: 1990.08
English Title:: A Logic Pragramming Approach to Specifying Logics and Constructing Proofs
Japanese Title:: ***
English Author:: H.Sawamura,T.Minami,K.Yokota,K.Ohashi
Japanese:: ***
Name of Organization to which author belongs:: Fujitsu,Fujitsu,Fujitsu,Fujitsu
PDF:: tr0582.pdf

	Abstract	.... 2
1	Introduction	.... 2
2	Need,significance and design philosophy	.... 4
3	An overview of EUODHILOS	.... 5
3.1	Functional features	.... 5
3.2	Implementation	.... 11
4	Experiments and experiences with EUODHILOS	.... 11
5	Related work	.... 15
6	Concluding remarks and future work	.... 16
	Acknowledgements	.... 18
	References	.... 18
	Appendix 1 Intuitionistic type theory and a construtive proof	.... 20
	Appendix 2 Hoare logic and correctness proof of a program	.... 21

目次をクリックすると、PDFファイルが表示されます。