机译:朝着同步语言信号的简单安全的客观CAML编译框架
Nanjing Univ Aeronaut & Astronaut Sch Comp Sci & Technol Nanjing 211106 Jiangsu Peoples R China|State Key Lab Software Dev Environm Beijing 100191 Peoples R China|Collaborat Innovat Ctr Novel Software Technol & I Nanjing 211106 Jiangsu Peoples R China;
Univ Toulouse IRIT CNRS F-31062 Toulouse France;
Univ Toulouse IRIT CNRS F-31062 Toulouse France;
synchronous languages; SIGNAL; Synchronous Clocked Guarded Actions (S-CGA); Objective Caml; functional programming;
机译:为同步语言SIGNAL建立一个简单,安全的Objective Caml编译框架
机译:经验报告:使用Objective Caml在认证框架中开发安全关键的嵌入式工具
机译:迈向经过验证的同步语言SIGNAL编译器原型
机译:经验报告:使用客观CAML在认证框架中开发安全嵌入式工具
机译:在GIPSY中使用JLucid,Objective Lucid和通用命令编译器框架进行混合内涵编程。
机译:Bellman的GAP-一种用于序列分析中动态编程的语言和编译器
机译:迈向经过验证的同步语言SIGNAL编译器原型
机译:基于测试的同步语言编译器验证。