面向对象的内涵编程：使用Java和Lucid的内涵类
Object-Oriented Intensional Programming: Intensional Classes Using Java and Lucid
摘要：
本文介绍了面向对象的内涵编程（OO-IP），它是在Lucid的最新发展的意义上介于面向对象和内涵程序设计语言之间的一种新的混合语言。这种新的混合语言结合了Lucid和Java的基本特征，并引入了对象流的概念，这使得Lucid流中的每个元素都有可能成为具有嵌入内涵属性的对象。有趣的是，这种混合语言也为Java对象带来了显式表达和操作上下文概念的能力，创建了内涵对象的新概念，即其评估依赖于上下文的对象，在这里被证明可以翻译成标准对象。通过这种新的方法，我们扩展了内涵对象概念的使用和意义，丰富了Lucid中对象流的意义和Java中内涵对象的语义。
英文摘要：
This article introduces Object-Oriented Intensional Programming (OO-IP), a new hybrid language between Object-Oriented and Intensional Programming Languages in the sense of the latest evolutions of Lucid. This new hybrid language combines the essential characteristics of Lucid and Java, and introduces the notion of object streams which makes it is possible that each element in a Lucid stream to be an object with embedded intensional properties. Interestingly, this hybrid language also brings to Java objects the power to explicitly express and manipulate the notion of context, creating the novel concept of intensional object, i.e. objects whose evaluation is context-dependent, which are here demonstrated to be translatable into standard objects. By this new approach, we extend the use and meaning of the notion of intensional objects and enrich the meaning of object streams in Lucid and semantics of intensional objects in Java.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
