2 papers
cs.PL2014
Analyzing Conflict Freedom For Multi-threaded Programs With Time Annotations
Jingshu Chen, Marie Duflot, Stephan Merz
Avoiding access conflicts is a major challenge in the design of multi-threaded programs. In the context of real-time systems, the absence of conflicts can be guaranteed by ensuring…
cs.LO2009
A Formalization of the Semantics of Functional-Logic Programming in Isabelle
Francisco López Fraguas, Stephan Merz, Juan Rodríguez Hortalá
Modern functional-logic programming languages like Toy or Curry feature non-strict non-deterministic functions that behave under call-time choice semantics. A standard formulation…