卢斯特 swMATH ID: 8938 软件作者： 卡斯皮，P。；Pilaud，D。；Halbwachs，N。；普拉斯，J.A。 描述： LUSTRE：一种用于实时编程的声明性语言。LUSTRE是一种同步数据流语言，用于与环境实时交互的编程系统。在对该语言进行非正式表示之后，我们使用结构推理规则描述其语义。此外，我们还展示了如何使用这种语义来生成高效的序列代码，即表示程序控制的有限状态自动机。给出了程序转换的形式化规则。 主页： http://dl.acm.org/citation.cfm？id=41641 相关软件： 酯类；信号；Simulink公司；露西德；NuSMV公司；Uppaal公司；哈斯克尔；自旋蛋白；托勒密；Coq公司；洛拉；乔托；弗兰；状态流；SCADE公司；副驾驶员；里奥；PVS公司；第2类；电报CQ 引用于： 104文件 全部的 前5名226位作者引用 4 阿尔伯特·本文尼斯特 4 Jean-Pierre塔宾 三 贝努伊特Caillaud 三 蒂埃里·戈蒂埃 三 保罗·勒格尔尼克 三 李爱德华·阿什福德 三 马克·普泽特 三 斯塔夫罗斯·特里帕基斯 2 洛依茨贝斯纳德 2 蒂莫西·布鲁克 2 安娜·卡瓦尔坎蒂 2 毛里齐奥·加布里埃利 2 皮埃尔·洛伊奇·卡洛什 2 葡萄藤古普塔 2 尼古拉斯·哈尔巴赫斯 2 马克·霍乌 2 Jean-Marie雅克 2 拉德哈·贾加迪桑 2 贝特朗·珍妮特 2 丹尼尔·克罗布 2 戴维·莱森斯 2 伊莎贝尔·林登 2 路易斯·曼德尔 2 Maria Chiara Meo女士 2 彼得·米勒 2 Peter Csaba，Olveczky 2 佛罗伦萨高原 2 Olivier F.鲁克斯。 2 塞萨尔·桑切斯 2 Vijay A.萨拉斯瓦特。 2 彼得·施拉梅尔 2 艾丽西亚·维拉纽瓦 2 冯·汉克斯利登，莱因哈德 1 萨姆森·艾布拉姆斯基 1 华金·阿瓜多 1 马克·艾吉尔 1 玛丽亚·阿尔普恩特 1 卡琳·阿尔蒂森 1 拉杰夫·阿鲁尔 1 罗伯特·阿马迪奥（Roberto M.Amadio）。 1 法布里斯·安伯特 1 Bae，Kyungmin先生 1 帕特里克·巴尔 1 Anicet巴特 1 亚历克西斯·贝达德 1 本努尔，伊米德·埃丁 1 尼克·本顿 1 杰拉德·贝里 1 朱利安·贝特兰 1 斯蒂法诺·比斯塔雷利 1 西蒙·布利兹 1 弗莱德里克·博尼奥尔 1 西尔万·博尔梅 1 花束，织物 1 劳拉·博泽利 1 安东尼奥·布罗吉 1 曼弗雷德·布罗伊 1 克里斯蒂安·布鲁内特 1 卢卡·卡洛尼（Luca P.Carloni）。 1 保罗·卡斯皮 1 弗兰克·卡塞兹 1 阿伦州Chandrashekharapuram 1 皮埃尔·沙蒂尔 1 Yunja Choi先生 1 科恩·克莱森 1 菲尔·克莱顿 1 库克，拜伦 1 米克尔·科尔多维拉 1 安德烈亚·科拉迪尼 1 帕特里克·库索特 1 拉希亚库索 1 帕拉布·达斯古普塔 1 德波尔（Frank S。 1 德博舍尔，科恩 1 伊丽莎白·德·玛丽亚 1 威廉·鲍尔·德·罗弗 1 安东尼·德尔佩赫 1 Gilles Dowek 1 莱迪·杜·布斯奎特 1 苏菲·杜普·切萨 1 斯蒂芬·爱德华兹。 1 Conal M.埃利奥特。 1 珍妮·皮尔·埃洛伊 1 冯，托马斯·惠宁 1 塞尔吉奥·费奥·阿雷尼斯 1 埃里克·费龙 1 约翰·埃弗雷特·菲尔德 1 杰弗里·费舍尔（Jeffrey M.Fischer）。 1 贾斯敏·费希尔 1 算了吧，朱利安 1 卢西亚娜·福斯 1 道格拉斯·弗雷泽 1 Insa Fuhrmann公司 1 丹尼尔·加菲 1 M·M·加拉多。 1 阿卜杜拉耶·加马蒂 1 托马斯·马丁·高利察 1 西蒙·盖伊。 1 卡姆莱什·戈什 1 鲁本·贾昆塔 …还有126位作者 全部的 前5名25篇连载文章中引用 15 理论计算机科学 8 系统设计中的形式化方法 6 计算机程序设计科学 5 信息与计算 三 计算机与系统科学杂志 三 逻辑与代数程序设计杂志 2 信息学报 2 国际并行程序设计杂志 2 函数编程杂志 1 倒排索引综述 1 应用数学与计算 1 计算 1 符号计算杂志 1 自动推理杂志 1 计算的形式方面 1 离散事件动态系统 1 RAIRO公司。Informatique Théorique et Applications公司 1 约束条件 1 高阶和符号计算 1 并行与计算：实践与经验 1 逻辑程序设计理论与实践 1 计算机语言、系统和结构 1 非线性分析。混合动力系统 1 计算机科学前沿 1 程序设计中的逻辑和代数方法杂志 全部的 前5名11个领域引用 100 计算机科学（68至XX） 7 系统论；控制（93至XX） 6 数学逻辑和基础（03-XX） 三 范畴理论；同调代数（18-XX） 三 运筹学、数学规划（90-XX） 2 生物学和其他自然科学（92-XX） 2 信息与通信理论、电路（94-XX） 1 总体主题；集合（00-XX） 1 算子理论（47-XX） 1 统计学（62-XX） 1 数值分析（65-XX） 按年份列出的引文