Studies of a Theory of Specifications with Built-in Program Extraction

• 1 January 2001
• journal article
• Published by Springer Nature in Journal of Automated Reasoning
• Vol. 27  (1) , 61-87
• https://doi.org/10.1023/a:1010663224299

Abstract

Keywords

• TYPE THEORY
• PROGRAM EXTRACTION
• THEORY OF SPECIFICATIONS