A Programming Model of Object Validity for Secure and Efficient Concurrency

为了提高软件应用程序的性能和安全性，澳大利亚的ICT行业必须适应现代多核处理器的复杂编程要求。该项目开发的编程模型代表了一个突破性的解决方案。并发和面向对象的无缝集成导致了一种简单但强大的编程风格，该风格与当今构建性能和安全性显著提高的大型软件系统的主要方法兼容。该产品将减少许多行业中计算密集型应用程序的开发时间，包括医疗保健(例如患者监测)、金融、国防、环境、采矿、制造和电脑游戏。

To provide improved performance and security for software applications, Australia's ICT industry must adapt to the complex programming demands of modern multicore processors. The programming model developed in the project represents a breakthrough solution. A seamless integration of concurrency and object orientation leads to a simple yet powerful programming style that is compatible with today's premier approach to building large-scale software systems with significantly improved performance and security. The product will reduce development time for compute-intensive applications in many industry sectors, including health care (e.g. patient monitoring), finance, defence, environment, mining, manufacturing and computer games.