Arbeitspapier
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. Muli employs symbolic execution as a technique to, e.g., solve constraint-satisfaction problems and generate test cases.
- Language
-
Englisch
- Bibliographic citation
-
Series: ERCIS Working Paper ; No. 39
- Classification
-
Management
- Event
-
Geistige Schöpfung
- (who)
-
Winkelmann, Hendrik
- Event
-
Veröffentlichung
- (who)
-
Westfälische Wilhelms-Universität Münster, European Research Center for Information Systems (ERCIS)
- (where)
-
Münster
- (when)
-
2024
- Handle
- Last update
-
10.03.2025, 11:44 AM CET
Data provider
This object is provided by:
ZBW - Deutsche Zentralbibliothek für Wirtschaftswissenschaften - Leibniz-Informationszentrum Wirtschaft. If you have any questions about the object, please contact the data provider.
ZBW - Deutsche Zentralbibliothek für Wirtschaftswissenschaften - Leibniz-Informationszentrum Wirtschaft. If you have any questions about the object, please contact the data provider.
Object type
- Arbeitspapier
Associated
- Winkelmann, Hendrik
- Westfälische Wilhelms-Universität Münster, European Research Center for Information Systems (ERCIS)
Time of origin
- 2024
Other Objects (12)
An Efficient Implementation of a Runtime for Constraint-Logic Object-Oriented Programming
Free Objects in Constraint-logic Object-oriented Programming
Free objects in constraint-logic object-oriented programming
Constraint-logic object-oriented programming and text case generation
An Integrated Constraint-Logic and Object-Oriented Programming Language : The Münster Logic-Imperative Language
An integrated constraint-logic and object-oriented programming language : the Münster logic-imperative language
Object-oriented database programming
Views in object-oriented databases
Real-time object-oriented modeling
Object-Oriented Programming Languages: Interpretation
Patterns in object-oriented analysis
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
An Efficient Implementation of a Runtime for Constraint-Logic Object-Oriented Programming
Free Objects in Constraint-logic Object-oriented Programming
Free objects in constraint-logic object-oriented programming
Constraint-logic object-oriented programming and text case generation
An Integrated Constraint-Logic and Object-Oriented Programming Language : The Münster Logic-Imperative Language
An integrated constraint-logic and object-oriented programming language : the Münster logic-imperative language
Object-oriented database programming
Views in object-oriented databases
Real-time object-oriented modeling
Object-Oriented Programming Languages: Interpretation
Patterns in object-oriented analysis
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
An Efficient Implementation of a Runtime for Constraint-Logic Object-Oriented Programming
Free Objects in Constraint-logic Object-oriented Programming
Free objects in constraint-logic object-oriented programming
Constraint-logic object-oriented programming and text case generation
An Integrated Constraint-Logic and Object-Oriented Programming Language : The Münster Logic-Imperative Language
An integrated constraint-logic and object-oriented programming language : the Münster logic-imperative language
Object-oriented database programming
Views in object-oriented databases
Real-time object-oriented modeling
Object-Oriented Programming Languages: Interpretation
Patterns in object-oriented analysis