U.S.-Germany Cooperative Research: Advanced Techniques for Multi-Paradigm Declarative Languages

9981317 Antoy该奖项支持Sergio Antoy和助理教授巴顿梅西与德国亚琛的莱茵-威斯特伐利亚技术大学计算机科学系的Michael Hanus合作。 该项目将研究将非确定性函数引入一种称为函数逻辑语言的新型计算机语言的优点和困难。 美国和德国的工作组在这一领域都具有公认的专门知识，它们一直在就同一问题的不同方面平行开展工作，现在将有机会联合收割机共同努力。 他们希望为这种语言开发一种新的编译器，这种编译器将足够强大，可以在工业中使用。 他们还打算开发一套函数逻辑编程的教学实例，用于这一新领域的研究生课程。 这两个小组在过去都产生了被广泛认为在函数逻辑编程语言中具有根本重要性的结果。 在这一研究领域仍有许多有趣的问题有待探索，这种合作将为其中一些问题提供新的解决方案。

9981317AntoyThis award supports Sergio Antoy and Assistant Professor Barton Massey in a collaboration with Michael Hanus of the department of Computer Sciences at the Rhein-Westfalia Technical University in Aachen, Germany. The project will investigate the advantages and difficulties of introducing non-deterministic functions into a new type of computer language known as a functional logic language. The U.S. and German groups, both with recognized expertise in this area, have been working in parallel on different aspects of the same problem and will now have the opportunity to combine their efforts. They expect to develop a new compiler for the language that will be robust enough for use in industry. They also intend to develop a set of didactic examples of functional logic programming that will be used in graduate courses in this new area. Both groups have produced results in the past that are widely recognized to be of fundamental importance in functional logic programming languages. There remain many interesting problems to be explored in this area of research, and this collaboration will produce new solutions to some of them.