U.S.-Brazil Cooperative Research: Towards a Practical Calculus of Object-Oriented Programming

9813854Naumann这项美国-巴西合作研究奖授予新泽西州Sevens理工学院的David a . Naumann博士，将允许他与巴西累西腓伯南布哥联邦大学（UFPE）的Ana Cavalcanti教授进行为期两年的面向对象程序设计实用演算研究。这项研究有望为面向对象程序的开发提供微积分。微积分将包括程序派生和优化以及面向对象的类设计和类结构的法律。鉴于面向对象语言在当前工业实践中的主导地位，以及对系统属性（如安全性）的严格验证的日益关注，改进开发方法的重要性是至关重要的。这项工作将有助于弥合最近在编程方法（受限的语言，简单的方法，令人印象深刻的应用程序）和语义（丰富的语言，甚至超过了今天使用的语言，但专注于类型结构而不是推理）之间的差距***

9813854NaumannThis US-Brazil collaborative research award to Dr. David A. Naumann, Sevens Institute of Technology, New Jersey will permit a two-year study of practical calculus of Object-Oriented Programming with Professor Ana Cavalcanti, Universidade Federal de Pernambuco (UFPE), Recife, Brazil.This research is expected to produce a calculus for development of object-oriented programs. The calculus will include laws for program derivation and optimization as well as object-oriented class design and class structuring. Given the predominance of object-oriented languages in current industrial practice, and the increasing attention being given to rigorous validation of system properties like security, the importance of improved development methods is critical. This work will help bridge the gaps between recent work in programming methods (restricted languages, simple methods, impressive applications) and semantics (rich languages even beyond those used today, but concentrating on type structures rather than reasoning.)***