Constraint-Logic Object-Oriented Programming with Free Arrays
Programming Languages
2020-09-01 v1
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.
Cite
@article{arxiv.2008.13460,
title = {Constraint-Logic Object-Oriented Programming with Free Arrays},
author = {Jan C. Dageförde and Herbert Kuchen},
journal= {arXiv preprint arXiv:2008.13460},
year = {2020}
}
Comments
Part of WFLP 2020 pre-proceedings