%0 Journal Article %1 journals/isci/ZuoZSHKLWL23 %A Zuo, Zhengkang %A Zeng, Zhicheng %A Su, Wei %A Huang, Qing %A Ke, Yuhan %A Liu, Zengxin %A Wang, Changjing %A Liang, Wei %D 2023 %J Inf. Sci. %K dblp %P 613-632 %T Specification transformation method for functional program generation based on partition-recursion refinement rule. %U http://dblp.uni-trier.de/db/journals/isci/isci633.html#ZuoZSHKLWL23 %V 633

@article{journals/isci/ZuoZSHKLWL23, added-at = {2023-05-17T00:00:00.000+0200}, author = {Zuo, Zhengkang and Zeng, Zhicheng and Su, Wei and Huang, Qing and Ke, Yuhan and Liu, Zengxin and Wang, Changjing and Liang, Wei}, biburl = {https://www.bibsonomy.org/bibtex/267cb395236f386e6473dac5cbd330913/dblp}, ee = {https://doi.org/10.1016/j.ins.2023.03.055}, interhash = {018e3680169a5cbb95c5aaefab9fd905}, intrahash = {67cb395236f386e6473dac5cbd330913}, journal = {Inf. Sci.}, keywords = {dblp}, month = {July}, pages = {613-632}, timestamp = {2024-04-08T13:05:50.000+0200}, title = {Specification transformation method for functional program generation based on partition-recursion refinement rule.}, url = {http://dblp.uni-trier.de/db/journals/isci/isci633.html#ZuoZSHKLWL23}, volume = 633, year = 2023 }