机译:量子编程语言的正式元级分析框架
Quantum Lambda CalculusLinear LogicHybridCoq;
机译:镜像:面向对象的编程语言的元级别设施的设计原理
机译:镜像:面向对象的编程语言的元级别设施的设计原理
机译:镜像:面向对象编程语言的元级别设施的设计原则
机译:编程语言和形式分析的K-A语义框架
机译:GAMESPECT:虚幻引擎4的合成框架和元级领域特定方面的语言
机译:广泛使用的第一编程语言的评估框架和比较分析
机译:FOZCIL:用于将Object-Z中的正式规范转换为OO编程语言的设计合同的框架
机译:程序设计语言中访问名称的形式分析