An Efficient Implementation of a Runtime for Constraint-Logic Object-Oriented Programming

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 [18]. Muli employs symbolic execution [11] as a technique to, e.g., solve constraint-satisfaction problems and generate test cases [19, 55].

Read more about An Efficient Implementation of a Runtime for Constraint-Logic Object-Oriented Programming

Chair of Digital Innovation and the Public Sector

ERCIS Headquarters

The Digital Innovation and the Public Sector (DIPS) group at the Department of Information Systems focuses on the impact of the digital transformation at the intersection of the public and private sectors with the civic society. Closely affiliated with the REACH start-up center of the university, we put a particular emphasis on the role of innovation and entrepreneurship in this context. We support students and staff at the department seeking to pursue entrepreneurial ideas and link them to the REACH ecosystem. 

Chair for Information Systems and Business Process Management

ERCIS Headquarters

Jan vom Brocke is the Chair of Information Systems & Business Process Management at the University of Münster and a Director of ERCIS – The European Research Center for Information Systems. He is a Visiting Professor at the University of Liechtenstein, and he has been named a Fellow of the Association for Information Systems (AIS), a Fellow of the ESCP Center for Design Science in Entrepreneurship, and a Schoeller Senior Fellow at Friedrich Alexander University (FAU) in Germany.

Pages