3 citations
5 papers
The Visual Debugger Tool
Tim Kräuter, Harald König, Adrian Rutle +1
Debugging is an essential part of software maintenance and evolution since it allows software developers to analyze program execution step by step. Understanding a program is requi…
Multiple Model Synchronization with Multiary Delta Lenses with Amendment and K-Putput
Zinovy Diskin, Harald König, Mark Lawford
Multiple (more than 2) model synchronization is ubiquitous and important for model driven engineering, but its theoretical underpinning gained much less attention than the binary c…
On Algebraic Conditions for the Non-Vanishing of Linear Forms in Jacobi Theta-Constants
Carsten Elsner, Veekesh Kumar
Elsner, Luca and Tachiya proved in 2019 that the values of the Jacobi-theta constants and are algebraically independent over for distinct integers…
Van Kampen Colimits and Path Uniqueness
Harald König, Uwe Wolter
Fibred semantics is the foundation of the model-instance pattern of software engineering. Software models can often be formalized as objects of presheaf topoi, i.e, categories of o…
Characterizing Van Kampen Squares via Descent Data
Harald König, Uwe Wolter, Michael Löwe
Categories in which cocones satisfy certain exactness conditions w.r.t. pullbacks are subject to current research activities in theoretical computer science. Usually, exactness is…