Improving the implementation of high-level languages

我过去、现在和将来的研究都有助于改进高级编程语言的实现，尤其是函数式语言的实现。编程一直在慢慢地向更高级的语言发展，也就是朝着更简单、更有表现力、更强大、更直观的语言发展。编程语言是工作工具，为具有挑战性的项目选择一个强大的工具会带来许多好处。减少了开发和测试时间。除了减少时间外，由此产生的软件有变得更可靠的趋势。因此，选择一种高级语言不仅是一个品味或风格的问题，而且在经济上也是一个明智的选择。我也对改进其他语言的实现感兴趣，不仅仅是高级语言的实现，更广泛地说，我对使软件更可靠感兴趣。实现这些目标的方法当然包括鼓励使用高级语言，但也包括开发和改进直接的可靠性和安全增强技术-如合同编程和静态和动态的正式软件验证--或者换句话说，专注于软件工程中基于编程语言技术的部分。

My past, current, and future research contributes to improve the implementation of high-level programming languages, and that of functional languages in particular. Programming has slowly been moving towards higher-level languages, that is, towards simpler, more expressive, more powerful, more intuitive languages. Programming languages are work tools, and choosing a powerful tool for challenging projects leads to many benefits. Development and testing times are reduced. In addition to reductions in times, the resulting software has a tendency to be more reliable. Consequently, choosing a high-level language is not simply a question of taste or style, but it is also an economically sensible choice. I am also interested in improving the implementation of other languages too, not exclusively that of high-level ones, and, more generally, I am interested in making software more reliable. Means of achieving those goals include encouraging the use of high-level languages, of course, but also developing and improving direct reliability- and security-enhancing techniques---like programming with contracts and static and dynamic formal software verification---or, in other words, focussing on the parts of software engineering that are based on programming language technologies.