...
机译:经过验证的CompCert前端,用于支持指针算术和未初始化数据的内存模型
Inria, Rennes, France;
Univ Rennes 1, CNRS, IRISA, Rennes, France;
Yale Univ, New Haven, CT USA;
Verified compilation; C semantics; Pointer arithmetic;
机译:COMPCERTS:使用指针作为整数语义的内存感知验证的C编译器
机译:Compcerts:内存感知已验证的C编译器,使用指针为整数语义
机译:用于十进制浮点算术系统建模和验证的内存有效规范数据结构
机译:CompCertS:使用指针作为整数语义的内存感知验证的C编译器
机译:使用算法和数据依赖性验证业务流程规范。
机译:IV。临床咨询系统医疗决策支持系统和临床研究数据库:B.临床研究数据库:将微型计算机用作大型计算机数据库管理系统的前端处理器
机译:经过验证的CompCert前端,用于支持指针算术和未初始化数据的内存模型
机译:验证和验证的通用方法(Gm-VV),以支持模型,模拟和数据的接受(methodologie generale de verification et de validation(Gm-VV)visant a soutenir l acceptation des modeles,simulations et donnees)。