7 citations · 16 across the 6 of their papers we have counts for
3 papers · 1 filter
Prolog Coding Guidelines: Status and Tool Support
Falco Nogatz, Philipp Körner, Sebastian Krings
The importance of coding guidelines is generally accepted throughout developers of every programming language. Naturally, Prolog makes no exception. However, establishing coding gu…
Measuring Coverage of Prolog Programs Using Mutation Testing
Alexandros Efremidis, Joshua Schmidt, Sebastian Krings +1
Testing is an important aspect in professional software development, both to avoid and identify bugs as well as to increase maintainability. However, increasing the number of tests…
Constraint Logic Programming over Infinite Domains with an Application to Proof
Sebastian Krings, Michael Leuschel
We present a CLP(FD)-based constraint solver able to deal with unbounded domains. It is based on constraint propagation, resorting to enumeration if all other methods fail. An impo…