机译:在可扩展程序验证程序中将生成元编程和Hoare逻辑相结合的基岩结构化编程系统
generative metaprogramming; interactive proof assistants; low-level programming languages; functional programming;
机译:在可扩展程序验证程序中将生成元编程和Hoare逻辑相结合的基岩结构化编程系统
机译:图程序的Hoare样式验证
机译:从数学逻辑到编程语言语义:与Tony Hoare的讨论
机译:基岩结构化编程系统:在可扩展程序验证程序中结合生成元编程和Hoare逻辑
机译:将静态分析和运行时分析相结合,以验证和测试多线程程序。
机译:故障:用于元编程的Python嵌入式域特定语言用于Metogrogramming便携式硬件验证组件
机译:基岩结构化编程系统:在可扩展的程序验证器中结合生成元编程和hoare逻辑