Free objects in constraint-logic object-oriented programming

Arbeitspapier

Constraint-logic object-oriented programming is useful in the integrated development of business software that occasionally solves constraint-logic problems. So far, work in constraint-logic object-oriented programming was limited to considering constraints that only involve logic variables of primitive types; in particular, boolean, integer, and floating-point numbers. However, the availability of object-oriented features calls for the option to use logic variables in lieu of objects as well.Therefore, support for reference-type logic variables (or free objects) is required. With the present work, we add support for reference-type logic variables to a Java-based constraint-logic object-oriented language. Allowing free objects in statements and expressions results in novel interactions with objects at runtime, for instance, non-deterministic execution of invocations on free objects(taking arbitrary class hierarchies and overriding into account). In order to achieve this, we also propose a dynamic type constraint that restricts the types of free objects at runtime.

Angaben zum Objekt

• Sprache: Englisch

Verweise und Beziehungen

• Erschienen in: Series: ERCIS Working Paper ; No. 32

Klassifikation und Themen

• Klassifikation: Management
• Thema: constraint-logic object-oriented programming ; reference-type logic variables ; programming language implementation ; runtime systems

Beteiligte, Orts- und Zeitangaben

• Ereignis: Geistige Schöpfung
• (wer): Dageförde, Jan C. ; Kuchen, Herbert
• Ereignis: Veröffentlichung
• (wer): Westfälische Wilhelms-Universität Münster, European Research Center for Information Systems (ERCIS)
• (wo): Münster
• (wann): 2020

Weitere Informationen

• Handle: http://hdl.handle.net/10419/223243
• Letzte Aktualisierung: 10.03.2025, 11:44 MEZ