5 citations · 10 across the 5 of their papers we have counts for
Showing 2023Show 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.PL2023★ 2 cited
Tail recursion transformation for invertible functions
Joachim Tilsted Kristensen, Robin Kaarsgaard, Michael Kirkedal Thomsen
Tail recursive functions allow for a wider range of optimisations than general recursive functions. For this reason, much research has gone into the transformation and optimisation…