光泽

光泽:用于实时编程的声明性语言。光泽是用于与实时环境交互的编程系统的同步数据流语言。在非正式地介绍语言之后,我们用结构推理规则来描述它的语义。此外,我们展示了如何使用这种语义,以产生高效的顺序代码,即有限状态自动机,表示程序的控制。给出了程序转换的形式化规则。

这个软件也是同行评审通过期刊toms.


ZBMaCT中的参考文献(38篇文章中引用)

显示结果1至20的38。
按年份排序(引文
  1. Müü勒,彼得(ED);舍费尔,INA(ED.):原则性软件开发。在他第六十岁生日的时候,献给阿瑟德。基于论文集的论文,德国凯撒斯劳滕,2018年11月(2018)
  2. 纽克尔逊,赫尔穆特:大象反对歌利亚:大数据与高性能计算的性能BDSCAN集群实现(2018)
  3. 本维尼斯特,艾伯特;伯克,蒂莫西;CayaOd,班诺特;帕加诺,布鲁诺;PouZET,贾景晖:混合系统建模者因果环路的基于类型的分析(2017)
  4. 菲舍尔,Jeffrey M.;Maunddar,RuPAK:通过组合滤波器编程(2017)
  5. Altisen,Karine;Moy,马蒂厄:实时演算中的因果性问题(2016)
  6. De Maria,Elisabetta;MuZy,亚历山大;Gaffe,丹尼尔;ReSouChe,安妮;Grimtt,Fralk:Times原型作为同步反应系统模型的验证(2016)
  7. 王,Timothy E.;GaloChe,Pierre Lo I. C;Roux,彼埃尔;Jobredeaux,Romain;F,Erric:模型和代码级稳健性的形式化分析(2016)
  8. Ghosh,KAMALESH;DasGupTa,Pallab;Ramesh,S.:作为分布式控制的早期验证工具的自动化规划(2015)
  9. MITKA,克里斯蒂安;von Hanxleden,莱因哈德:轻量级同步Java(SJL):用Java编程确定确定性反应系统的方法(2015)
  10. Ploeg,Atze van der;Claessen,Koen:实践原则的FRP:忘记过去,改变未来,FRPNow!(2015)
  11. Saraswat,Vijay;Gupta,维尼特;贾加迪桑,拉达:TCC,历史(2014)
  12. BAE,Kyungmin;U.LveCZKY,Peter Csaba;冯,Thomas Huining;李,Edward A.;Tripakis,Stavrs:用实时Maod(2012)验证分层第二类离散事件模型
  13. Hatcliff,约翰;Leaves,Gary T.;莱诺,K. Rustan M.;Mü勒,彼得;帕金森,马修:行为接口规范语言(2012)
  14. 曼德尔,路易斯;普拉托,佛罗伦萨:N-同步系统的调度和缓冲大小。LUCE-N中最终周期时钟的分型(2012)
  15. Schrammel,彼得;JeNNET,贝特朗:应用抽象加速到反应程序的(共)可达性分析(2012)
  16. Krishnaswami,Neelakantan R.;Benton,Nick:图形用户界面的语义模型(2011)
  17. Lescaylle、阿列克谢、维拉纽瓦、艾丽西亚:弥合两个并发约束语言之间的鸿沟(2011)
  18. 罗查,Camilo;穆尼奥兹,C·萨尔;Dowek,吉尔斯:集合关系的形式库及其在同步语言中的应用(2011)
  19. 曼德尔,路易斯;普拉托,佛罗伦萨;PouZET,贾景晖:LUCY-N:光泽的n-同步延伸(2010)
  20. Schrammel,彼得;JeNNET,贝特朗:将抽象加速方法扩展到具有数字输入的数据流程序(2010)