×

基于规则的编程和证明: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].

MSC公司:

68甲15 编程语言理论
PDF格式BibTeX公司 XML格式引用
全文: 内政部