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.
- Sprache
-
Englisch
- Erschienen in
-
Series: ERCIS Working Paper ; No. 39
- Klassifikation
-
Management
- Ereignis
-
Geistige Schöpfung
- (wer)
-
Winkelmann, Hendrik
- Ereignis
-
Veröffentlichung
- (wer)
-
Westfälische Wilhelms-Universität Münster, European Research Center for Information Systems (ERCIS)
- (wo)
-
Münster
- (wann)
-
2024
- Handle
- Letzte Aktualisierung
-
10.03.2025, 11:44 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
ZBW - Deutsche Zentralbibliothek für Wirtschaftswissenschaften - Leibniz-Informationszentrum Wirtschaft. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
ZBW - Deutsche Zentralbibliothek für Wirtschaftswissenschaften - Leibniz-Informationszentrum Wirtschaft. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Arbeitspapier
Beteiligte
- Winkelmann, Hendrik
- Westfälische Wilhelms-Universität Münster, European Research Center for Information Systems (ERCIS)
Entstanden
- 2024
Ähnliche Objekte (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