|
Volumn , Issue , 1997, Pages 2-9
|
Automatic synthesis of recursive programs: The proof-planning paradigm
a
|
Author keywords
[No Author keywords available]
|
Indexed keywords
ALGORITHMS;
COMPUTER HARDWARE DESCRIPTION LANGUAGES;
COMPUTER PROGRAMMING;
RECURSIVE FUNCTIONS;
THEOREM PROVING;
PROOF PLANNING PARADIGM;
RECURSIVE PROGRAMS;
SOFTWARE ENGINEERING;
|
EID: 0031355483
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
Times cited : (14)
|
References (27)
|