冰岛雷克雅未克大学两位教授到软件所交流

更多精彩尽在这里,详情点击:http://fjnpby.com/,冰岛

11月21日,Luca Aceto教授作了题为Rule Formats for Structural Operational Semantics: A Very Short Introduction的学术报告。操作语义通过程序在抽象机器上的执行来描述程序的行为。结构化操作语义是给出程序设计和规约语言操作语义的一种语法驱动、基于规则的方法。报告中,Luca Aceto教授介绍了其研究团队在结构化操作语义理论方面的成果,该研究的目的在于用纯粹语法的方法保证程序和规约语言满足某些合意的语义性质。规则格式是推理规则所需要满足的语法模板,只要操作语义的推导规则满足一定的格式,就可以保证所定义的语义具有相应的性质。报告会上,Luca Aceto教授还对规则格式作了详细的阐述。

两场报告会十分精彩。报告会后,与会人员就规则格式、冰岛SBSV和Uppaal如何转换、转换是否保持判定性等问题与两位教授进行了深入交流。

Luca Aceto教授现为冰岛雷克雅未克大学计算机科学学院教授,他是欧洲理论计算机科学学会(EATCS)的现任主席。他目前致力于并发语义、计算机科学逻辑、结构化操作语义、验证问题和生物信息学问题的计算复杂性等方面的研究。

留下评论

您的电子邮箱地址不会被公开。 必填项已用*标注