Funder
Key Science and Technology Research Project in Jiangxi Province Department of Education
National Natural Science Foundation of China
Subject
Artificial Intelligence,Information Systems and Management,Computer Science Applications,Theoretical Computer Science,Control and Systems Engineering,Software
Reference33 articles.
1. Neural-guided inductive synthesis of functional programs on list manipulation by offline supervised learning;Wang;IEEE Access,2021
2. Functional Programming and Proof, Electronic Textbook;Zhao,2021
3. Adaptive GTS allocation in IEEE 802.15.4 for real-time wireless sensor networks;Xia;J. Syst. Archit.,2013
4. Proposal of an approach to generate VDM++ specifications from natural language specification by machine learning;Shigyo,2020
5. Overview of formal methods;Wang;J. Softw.,2019