17 citations · 19 across the 3 of their papers we have counts for
3 papers
cs.AI2011
Domain-specific Languages in a Finite Domain Constraint Programming System
Markus Triska
In this paper, we present domain-specific languages (DSLs) that we devised for their use in the implementation of a finite domain constraint programming system, available as librar…
cs.PL2009★ 17 cited
Constraint solving for high-level WCET analysis
Adrian Prantl, Jens Knoop, Markus Schordan +1
The safety of our day-to-day life depends crucially on the correct functioning of embedded software systems which control the functioning of more and more technical devices. Many o…
cs.PL2009★ 2 cited
Better Termination for Prolog with Constraints
Markus Triska, Ulrich Neumerkel, Jan Wielemaker
Termination properties of actual Prolog systems with constraints are fragile and difficult to analyse. The lack of the occurs-check, moded and overloaded arithmetical evaluation vi…