Specification transformation method for functional program generation based on partition-recursion refinement rule
| Autor: | Zuo, Zhengkang, Zeng, Zhicheng, Su, Wei, Huang, Qing, Ke, Yuhan, Liu, Zengxin, Wang, Changjing, Liang, Wei |
|---|---|
| Zdroj: | In Information Sciences July 2023 633:613-632 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect