17 citations · 19 across the 2 of their papers we have counts for
2 papers
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…