光泽

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

这个软件也是同行评审日记账依据汤姆斯.


zbMATH参考文献(38篇文章引用)

显示结果1到20,共38个。
按年份排序(引用)
  1. Müller,Peter(编辑);Schaefer,Ina(编辑):原则性软件开发。在海夫特60岁生日之际为他写的文章。2018年11月,德国凯斯劳滕研讨会论文精选
  2. Neukirchen,Helmut:《大象对抗巨人:大数据性能与高性能计算DBSCAN集群实现》(2018)
  3. Benveniste,Albert;Bourke,Timothy;Caillaud,Benoit;Pagano,Bruno;Pouzet,Marc:混合系统建模者因果循环的基于类型的分析(2017)
  4. Fischer,Jeffrey M.;Majumdar,Rupak:通过组合过滤器编程(2017)
  5. Altisen,Karine;Moy,Matthieu:实时微积分中的因果关系问题(2016)
  6. De Maria,Elisabetta;Muzy,Alexandre;Gaffé,Daniel;Ressouche,Annie;Grammont,Franck:作为同步反应系统建模的神经元原型的时间特性验证(2016)
  7. Wang,Timothy E.;Garoche,Pierre Loïc;Roux,Pierre;Jobredeaux,Romain;Féron,èric:模型和代码级健壮性的形式化分析(2016)
  8. Ghosh,Kamalesh;Dasgupta,Pallab;Ramesh,S.:自动化规划作为分布式控制的早期验证工具(2015)
  9. Motika,Christian;von Hanxleden,Reinhard:轻量级同步Java(SJL):用Java编程确定性反应系统的方法(2015)
  10. 普洛格,阿特兹·范德;克莱森,科恩:实用原则的玻璃钢:忘记过去,改变未来,明天!(2015年)
  11. 萨拉斯瓦特,维杰;古普塔,维涅特;贾加迪桑,拉达:TCC,历史(2014)
  12. Bae,Kyungmin;lveczky,Peter Csaba;Feng,Thomas Huining;Lee,Edward A.;Tripakis,Stavros:使用实时maude验证分层托勒密II离散事件模型(2012)
  13. Hatcliff,John;Leavens,Gary T.;Leino,K.Rustan M.;Müller,Peter;Parkinson,Matthew:行为接口规范语言(2012)
  14. Mandel,Louis;Plateau,Florence:n-同步系统的调度和缓冲区大小。Lucy-n(2012)中最终周期时钟的类型化
  15. Schrammel,Peter;Jeannet,Bertrand:将抽象加速应用于反应式程序的(co-)可达性分析(2012)
  16. Krishnaswami,Neelakantan R.;Benton,Nick:图形用户界面的语义模型(2011)
  17. Lescaylle,Alexei;Villanueva,Alicia:桥接两种并发约束语言之间的差距(2011)
  18. Rocha,Camilo;Muñoz,César;Dowek,Gilles:集合关系的正式库及其在同步语言中的应用(2011)
  19. 曼德尔,路易斯;高原,佛罗伦萨;普泽特,马克:露西-n:一个同步的光泽延伸(2010)
  20. Schrammel,Peter;Jeannet,Bertrand:将抽象加速方法扩展到具有数值输入的数据流程序(2010)