XiaoMi-AI文件搜索系统
World File Search SystemMaude
Maude 战略语言
重写逻辑是并发系统和逻辑规范的自然且富有表现力的框架。Maude 规范语言提供了这种形式主义的实现，允许执行、验证和分析所表示的系统。这些规范通过术语和方程式声明其对象，并提供重写规则来表示状态上可能不确定的局部转换。有时需要对这些规则进行受控应用，以减少非确定性，捕捉全局、面向目标或效率问题，或选择特定的执行进行分析。这就是我们所说的策略。为了表达它们，尊重关注点分离原则，提出并开发了 Maude 策略语言。策略语言的首次实现是在 Maude 本身中使用其反射功能完成的。经过充分的实验，又添加了一些功能，为了提高效率，策略语言已在 C++ 中实现为 Maude 系统的一个组成部分。本文介绍了 Maude 策略语言及其语义、实施决策以及来自各个领域的几个应用示例。
霍舍姆的莫德勋爵
1.4 我特别要感谢：Sapana Agrawal、Michael Barber 爵士、Kate Bingham 女爵士、Birt 勋爵、Simon Case、Tony Blair 爵士、Alex Chisholm 爵士、Thérèse Coffey 议员、Janette Durbin、Tamara Finkelstein、David Foley、Laura Gilbert 博士、Catherine Haddon、John Healey 议员、Herbert of South Downs 勋爵、Margaret Hodge 议员、Patricia Hodgson 女爵士、Michael Jary、Bernard Jenkin 议员、Lainston 勋爵、Nick Joicey、已故的 Kerslake 勋爵、John Kingman 爵士、Tony van Kralingen、Emily Lawson 女爵士、Megan Lee Devlin、John Manzoni 爵士、O'Donnell 勋爵、Pickles 勋爵、Jeremy Quin 议员、Angela Rayner 议员、Tom Read、Gareth里斯·威廉姆斯 (Rhys Williams)、奥利·罗宾斯爵士 (Sir Olly Robbins)、安东尼娅·罗密欧 (Antonia Romeo)、菲奥娜·赖兰 (Fiona Ryland)、特维尔的塞恩斯伯里勋爵 (Rt Hon)、塞德威尔勋爵 (Rt Hon)、尼克·斯莫尔伍德 (Nick Smallwood)、埃德巴斯顿的斯图尔特男爵夫人 (Rt Hon)、马克·斯威尼 (Mark Sweeney)、西蒙·谢 (Simon Tse)、帕特里克·瓦兰斯爵士 (Sir Patrick Vallance)、克里斯·沃马尔德爵士 (Sir Chris Wormald) 和国会议员威廉·拉格 (William Wragg)。