Aquarium Technical Report Preprint
arxiv(2019)
摘要
In this technical report, we present the core calculi for two of the domain specific languages comprising the Aquarium kernel synthesis project. First, we present a machine modeling language named Cassiopea that is used to describe the semantics of individual processor ISAs. Then, we present a specification language named Alewife that allows a developer to describe a block of code, such as a kernel module, such that the specification can be used to verify and synthesize code for any machine described in Cassiopea that meets a set of necessary requirements defined in the Alewife specification. We note that this is work in progress, and does not yet present a final or complete view of either the Aquarium system or the calculi presented.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要