Specification transformation method for functional program generation based on partition-recursion refinement rule
From MaRDI portal
Publication:6127496
DOI10.1016/j.ins.2023.03.055MaRDI QIDQ6127496
Zengxin Liu, Zhicheng Zeng, Yuhan Ke, Wei Liang, Wei Su, Qing Huang, Changjing Wang, Zhengkang Zuo
Publication date: 12 April 2024
Published in: Information Sciences (Search for Journal in Brave)
formal methodsprogram refinementfunctional programspecification transformationpartition-recursion rule
This page was built for publication: Specification transformation method for functional program generation based on partition-recursion refinement rule