Published January 4, 2024
| Version v1
Software
Open
Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law (Artifact)
-
1.
Centre de recherche Inria Lille - Nord Europe
- 2. Inria Paris
Description
This is the artifact supporting the experimental evidence presented in our (upcoming) ESOP'24 paper "Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law".
Files
Files
(2.9 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:0554bc2da9e7f5999920e1c011fb9b93
|
2.9 GB | Download |
|
md5:2116abaf5d004642ef38c6e6da5b0ebe
|
1.2 kB | Download |
|
md5:3000208d539ec061b899bce1d9ce9404
|
7.7 kB | Download |
|
md5:ea55adc9cf0ce96ea44b19206d7f9180
|
11.0 kB | Download |
|
md5:6f7a88b5494d8d3839c139d340996844
|
1.6 kB | Download |
|
md5:5e2d44a31382b17035b7355560a5a993
|
488 Bytes | Download |