Constraint-Logic Object-Oriented Programming with Free Arrays
Abstract
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- August 2020
- DOI:
- 10.48550/arXiv.2008.13460
- arXiv:
- arXiv:2008.13460
- Bibcode:
- 2020arXiv200813460D
- Keywords:
-
- Computer Science - Programming Languages
- E-Print:
- Part of WFLP 2020 pre-proceedings