克洛德·基什内尔;Hélène基什内尔 基于规则的编程和证明:ELAN经验成果。 (英语) Zbl 1115.68367号 Michael J.Maher(编辑),《计算机科学进展——2004年亚洲》。高层决策。第九届亚洲计算科学会议。2004年12月8日至10日,在泰国清迈举行的Jean-Louis Lassez五周岁生日上,向他致敬。诉讼程序。柏林:施普林格出版社(ISBN 3-540-24087-X/pbk)。计算机科学课堂讲稿3321363-379(2004)。 总结:在过去十年中,我们与南希的Protheo团队一起开发了基于ELAN规则的编程语言和环境。本文介绍了这项研究的背景和成果。关于整个系列,请参见[兹比尔1063.68009]. 引用于1文件 MSC公司: 68甲15 编程语言理论 软件:莫德;加勒比;ELAN公司;CASL公司 PDF格式BibTeX公司 XML格式引用 \textit{C.Kirchner}和\textit{H.Kirchner},莱克特。注释计算。科学。3321363--379(2004年;Zbl 1115.68367) 全文: 内政部