科研之友
微信
新浪微博
Facebook
分享链接
摘要
In this paper, we present a method for implementing a compiler called MC for Modeling, Simulation and Verification Language (MSVL) based on LLVM. MC accepts a well formed MSVL program as input and generates an executable binary code. Different from other compilers, MC can be used not only to compile programs but also to model and verify programs. The details of implementation including the architecture design, lexical, syntactic and semantic analysis, as well as preprocessing and scheduling algorithms. Besides, we show MC can be utilized as an infrastructure for Artificial Intelligence (Al) planning. Several examples are given to show applications of MC in modeling and verifying programs, as well as Al planning.
- 出版日期2018-11-21
- 单位西安电子科技大学
