Practical and Sound Equality Tests, Automatically: Deriving eqType Instances for Jasmin's Data Types with Coq-Elpi.
In: CPP; (2023) S. 167-181
Konferenz
Zugriff:
Titel: |
Practical and Sound Equality Tests, Automatically: Deriving eqType Instances for Jasmin's Data Types with Coq-Elpi.
|
---|---|
Autor/in / Beteiligte Person: | Grégoire, Benjamin ; Léchenet, Jean-Christophe ; Tassi, Enrico |
Link: | |
Quelle: | CPP; (2023) S. 167-181 |
Veröffentlichung: | 2023 |
Medientyp: | Konferenz |
DOI: | 10.1145/3573105.3575683 |
Sonstiges: |
|