Moving proofs-as-programs into practice
- 22 November 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. 78, 10-17
- https://doi.org/10.1109/ase.1997.632819
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Constructive Mathematics and Computer ProgrammingPublished by Elsevier ,2014
- Synthesis of ML programs in the system CoqJournal of Symbolic Computation, 1993
- Edinburgh LCFLecture Notes in Computer Science, 1979