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 methods; program refinement; functional program; specification transformation; partition-recursion rule