3 papers
cs.PL2025
PSM: Policy Synchronised Deterministic Memory
Michael Mendler, Marc Pouzet
Concurrency and determinacy do not go well with each other when resources must be shared. Haskell provides parallel programming abstractions such as IVar and LVar in the Par monad…
cs.DS2024
Top-Down Drawings of Compound Graphs
Maximilian Kasperowski, Reinhard von Hanxleden
Bottom-up layout algorithms for compound graphs are suitable for presenting the microscale view of models and are often used in model-driven engineering. However, they have difficu…
cs.DS2024
Diagram Control and Model Order for Sugiyama Layouts
Sören Domrös, Reinhard von Hanxleden
Graphical WYSIWYG editors programming languages are popular since they allow to control the diagram layout to express intention via secondary notation such as proximity and topolog…