期刊论文详细信息
| Journal of Computer Science | |
| Specialization of Recursive Predicates from Positive Examples Only | Science Publications | |
| Moussa Demba1 | |
| 关键词: Program specialization; theorem proving; positive/negative examples; folding/unfolding rules; finite-state machine; | |
| DOI : 10.3844/jcssp.2010.641.647 | |
| 学科分类：计算机科学（综合） | |
| 来源: Science Publications | |
 PDF
|
|
【 摘 要 】
Problem statement: Given an overly general (definite) program P and its intended semantics
【 授权许可】
Unknown
【 预 览 】
| Files | Size | Format | View |
|---|---|---|---|
| RO201911300193699ZK.pdf | 243KB |  download |
878987797
028-85220240
