光泽

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

这个软件也是同行评审按日记帐汤姆斯.


zbMATH中的参考文献(参考文献38条)

显示结果1到20,共38个。
按年份排序(引用)
  1. ü勒尔,彼得(编辑);Schaefer,Ina(编辑):原则性软件开发。在海夫特60岁生日之际为他写的文章。2018年11月(2018年),德国凯泽斯劳滕,研讨会上的演讲精选论文
  2. Neukirchen,Helmut:《大象对抗巨人:大数据性能与高性能计算DBSCAN集群实现》(2018)
  3. 阿尔伯特,本维尼斯特;伯克,提摩太;凯劳德,贝诺伊特;帕加诺,布鲁诺;Pouzet,Marc:混合系统建模者中基于类型的因果循环分析(2017)
  4. 费舍尔,杰弗里·M。;Majumdar,Rupak:通过组合过滤器编程(2017)
  5. 阿尔蒂森,卡琳;Moy,Matthieu:实时微积分中的因果关系问题(2016)
  6. 德玛丽亚,伊丽莎白;穆兹,亚历山德拉;鱼鳞é, 丹尼尔;莱索切,安妮;Grammont,Franck:作为同步反应系统建模的神经元原型的时间特性验证(2016)
  7. 王,提摩太E。;卡罗奇,皮埃尔·罗ïc;鲁克斯,皮埃尔;罗曼,约布雷多;Fé罗恩,Éric:模型和代码级鲁棒性的形式化分析(2016)
  8. 戈什,卡姆莱什;达斯古塔,帕拉布;Ramesh,S.:自动化规划作为分布式控制的早期验证工具(2015)
  9. 莫蒂卡,基督徒;冯汉克斯登,赖因哈德:轻量级同步Java(SJL):用Java编程确定性反应系统的方法(2015)
  10. 普洛格,阿特兹·范德;克莱森:实用的FRP原则:忘记过去,改变未来,FRPNow(2015年)
  11. 萨拉维斯瓦特;古普塔,维涅特;Jagadeesan,Radha:TCC,历史(2014)
  12. 裴京民;Ö艾弗茨基,彼得·卡萨巴;冯惠宁;李,爱德华A。;Tripakis,Stavros:使用实时maude验证分层的托勒密II离散事件模型(2012)
  13. 哈特克利夫,约翰;莱文斯,加里·T。;莱诺,K。鲁斯坦M。;ü勒,彼得;帕金森,马修:行为接口规范语言(2012)
  14. 曼德尔,路易;Plateau,佛罗伦萨:n-同步系统的调度和缓冲区大小。Lucy-n(2012)中最终周期时钟的类型化
  15. 施拉梅尔,彼得;Jeannet,Bertrand:将抽象加速应用于反应式程序的(co-)可达性分析(2012)
  16. 克里希纳斯瓦米,尼拉坎坦R。;Nick Benton:图形用户界面的语义模型(2011)
  17. 莱斯卡耶,阿列克谢;Villanueva,Alicia:桥接两种并发约束语言之间的差距(2011)
  18. 罗查,卡米洛;ñ盎司,Cé特别行政区;Dowek,Gilles:集合关系的正式库及其在同步语言中的应用(2011)
  19. 曼德尔,路易;高原,佛罗伦萨;Pouzet,Marc:Lucy-n:Lucy-n:Lustre的n同步扩展(2010)
  20. 施拉梅尔,彼得;Jeannet,Bertrand:将抽象加速方法扩展到具有数值输入的数据流程序(2010)