External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Specification transformation method for functional program generation based on partition-recursion refinement rule

Zhengkang Zuo, Zhicheng Zeng, Wei Su, Qing Huang, Yuhan Ke, Zengxin Liu, Changjing Wang, Wei Liang. Specification transformation method for functional program generation based on partition-recursion refinement rule. Inf. Sci., 633:613-632, July 2023. [doi]

Authors

Zhengkang Zuo

This author has not been identified. Look up 'Zhengkang Zuo' in Google

Zhicheng Zeng

This author has not been identified. Look up 'Zhicheng Zeng' in Google

Wei Su

This author has not been identified. Look up 'Wei Su' in Google

Qing Huang

This author has not been identified. Look up 'Qing Huang' in Google

Yuhan Ke

This author has not been identified. Look up 'Yuhan Ke' in Google

Zengxin Liu

This author has not been identified. Look up 'Zengxin Liu' in Google

Changjing Wang

This author has not been identified. Look up 'Changjing Wang' in Google

Wei Liang

This author has not been identified. Look up 'Wei Liang' in Google
runs on