Published January 4, 2024
| Version v1
Software
Open
Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law (Artifact)
Authors/Creators
-
1.
Centre Inria de l'Université de Lille
- 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 | |
|---|---|---|
|
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 |