2、从动态规划到编程科学及自适应系统研究进展

从动态规划到编程科学及自适应系统研究进展

一、Stefania Gnesi的早期研究贡献

1978年6月，Stefania Gnesi以优异的成绩从比萨大学信息科学专业毕业。当时，Ugo Montanari刚从IEI - CNR研究所转到比萨大学信息科学系，教授理论计算机科学课程。当Stefania请求做论文时，Ugo Montanari建议她关注代数、代数同态和初始代数领域。

Stefania的论文（与她的丈夫Alfonso Catalano合作）以动态规划的函数方程（代数B）为案例研究，通过在图（代数A）中寻找最短路径（树）来解决这些方程。该研究利用了ADJ在《初始代数语义和连续代数》中的结果，证明了两种观点的对应关系，使得可以利用图的有用结构特性，而这些特性在方程中并不明显。这一贡献得到了学界的高度认可，产生了两篇重要出版物：一篇发表于1978年Bad Honnef的研讨会，该研讨会后来发展成了图变换国际会议；另一篇发表于1981年的《ACM期刊》。

二、Ada语言形式定义与PFI项目

20世纪70年代，美国国防部支持一系列定义和实现终极编程语言的计划，以取代不可靠的现有语言。最终选定了Jean Ichbiah设计的Green提案，并命名为Ada语言。欧盟则专注于Ada的形式定义和编程环境两个方面。

在Ada形式定义的执行环境方面，Alessandro Fantechi、Stefania Gnesi等人基于逻辑编程方法开展工作，将形式定义转化为可执行的逻辑程序，并探索了元编程和部分求值等新技术以提高系统的模块化和效率。相关成果在1987年的ESEC会议上展示，并发表在ACM SIG - PLAN上。

此外，Ug