Specification transformation method for functional program generation based on partition-recursion refinement rule.
Zhengkang ZuoZhicheng ZengWei SuQing HuangYuhan KeZengxin LiuChangjing WangWei LiangPublished in: Inf. Sci. (2023)
Keyphrases
- experimental evaluation
- cost function
- error rate
- objective function
- prior knowledge
- dynamic programming
- similarity measure
- clustering method
- mutual information
- high accuracy
- support vector machine
- preprocessing
- significant improvement
- feature set
- pairwise
- logic programs
- detection method
- data sets
- high precision
- specification language