论文标题
带有免费阵列的约束逻辑面向对象的编程
Constraint-Logic Object-Oriented Programming with Free Arrays
论文作者
论文摘要
约束以对象为导向的编程在面向对象的编程和约束逻辑搜索之间提供了有用的共生。使用逻辑变量，约束，非确定性搜索和面向对象的编程的能力有助于在面向对象的应用程序中与搜索相关的程序零件和其他业务逻辑的组合。通过这项工作，我们概念化了阵列类型的逻辑变量（“自由数组”），从而完成了逻辑变量可以在以约束与对象为导向的编程中假设的类型集。免费阵列具有有趣的属性，例如不确定的长度和对数组元素的非确定性访问。
Constraint-logic object-oriented programming provides a useful symbiosis between object-oriented programming and constraint-logic search. The ability to use logic variables, constraints, non-deterministic search, and object-oriented programming in an integrated way facilitates the combination of search-related program parts and other business logic in object-oriented applications. With this work we conceptualize array-typed logic variables ("free arrays"), thus completing the set of types that logic variables can assume in constraint-logic object-oriented programming. Free arrays exhibit interesting properties, such as indeterminate lengths and non-deterministic accesses to array elements.
