2 citations · 3 across the 3 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2023
pun: Fun with Properties; Towards a Programming Language With Built-in Facilities for Program Validation
Triera Gashi, Sophie Adeline Solheim Bosio, Joachim Tilsted Kristensen +1
Property-based testing is a powerful method to validate program correctness. It is, however, not widely use in industry as the barrier of entry can be very high. One of the hindran…
cs.PL2022★ 1 cited
Branching execution symmetry in Jeopardy by available implicit arguments analysis
Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen
When the inverse of an algorithm is well-defined -- that is, when its output can be deterministically transformed into the input producing it -- we say that the algorithm is invert…