An efficient implementation of a runtime for constraint-logic object-oriented programming

Hendrik Winkelmann

No 39, ERCIS Working Papers from University of Münster, European Research Center for Information Systems (ERCIS)

Abstract: In this technical report the symbolic execution engine 'Mulib' will be outlined in its architecture, main algorithms, and design decisions. Mulib employs a rather new approach of program transformation (see Section 2) and thus, technical details on the implementation of such a system are thought to be insightful. Mulib first and foremost implements the runtime semantics of the Constraint-Logic Object-Oriented Programming (CLOOP) language Muli. Muli employs symbolic execution as a technique to, e.g., solve constraint-satisfaction problems and generate test cases.

Date: 2024
References: View references in EconPapers View complete reference list from CitEc
Citations:

Downloads: (external link)
https://www.econstor.eu/bitstream/10419/283891/1/1881531503.pdf (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:zbw:ercisw:283891

Access Statistics for this paper

More papers in ERCIS Working Papers from University of Münster, European Research Center for Information Systems (ERCIS) Contact information at EDIRC.
Bibliographic data for series maintained by ZBW - Leibniz Information Centre for Economics ().