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

美国-巴西合作研究：面向对象编程的实用演算

• 批准号: 9813854
• 负责人: David Naumann
• 金额: $ 20万
• 依托单位: Stevens Institute of Technology
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1999
• 资助国家: 美国
• 起止时间: 1999-06-01 至 2002-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9813854&HistoricalAwards=false
• 关键词: U.S.; Brazil; Cooperative; Research; Towards

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.)***

9813854Naumann 这项美国-巴西合作研究奖授予新泽西州塞文斯理工学院的 David A. Naumann 博士，将允许与巴西累西腓伯南布哥联邦大学 (UFPE) 的 Ana Cavalcanti 教授一起进行为期两年的面向对象编程实用微积分研究。这项研究预计将产生用于开发面向对象程序的微积分。微积分将包括程序推导和优化以及面向对象的类设计和类结构的法则。 鉴于面向对象语言在当前工业实践中占据主导地位，并且人们越来越关注安全性等系统属性的严格验证，改进开发方法的重要性至关重要。这项工作将有助于弥合编程方法（受限语言、简单方法、令人印象深刻的应用程序）和语义（甚至超出当今使用的语言的丰富语言，但专注于类型结构而不是推理）方面的最新工作之间的差距。***