1 comment

[ 4.4 ms ] story [ 9.3 ms ] thread
Rules as Code is an emerging field with law is annotated with a structured and compliable representation. The target has hithertoo been calculation libraries for social security/tax. This paper looks at compiling to generative property-based system tests.