An Architecture for Analysis.
IEEE Micro(2018)
摘要
We propose an architecture controlled by a thin computational layer designed to tightly correspond with the lambda calculus, drawing on principles of functional programming to bring the assembly much closer to myriad reasoning frameworks and specification languages. This approach allows assembly-level verified versions of critical code to operate safely in tandem with arbitrary code without the ne...
更多查看译文
关键词
Software development managemnet,Computer architecture,Pattern matching,Magnetic heads
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络