Skip to Main content Skip to Navigation
Journal articles

SyTeCi: Automating Contextual Equivalence for Higher-Order Programs with References

Guilhem Jaber 1, 2
1 GALLINETTE - Gallinette : vers une nouvelle génération d'assistant à la preuve
Inria Rennes – Bretagne Atlantique , LS2N - Laboratoire des Sciences du Numérique de Nantes
Complete list of metadata

Cited literature [42 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02388621
Contributor : Guilhem Jaber Connect in order to contact the contributor
Submitted on : Thursday, December 12, 2019 - 5:22:10 PM
Last modification on : Wednesday, November 3, 2021 - 4:22:59 AM
Long-term archiving on: : Friday, March 13, 2020 - 11:40:04 PM

File

popl20main-p219-p-a0fe6b0-4314...
Files produced by the author(s)

Identifiers

Citation

Guilhem Jaber. SyTeCi: Automating Contextual Equivalence for Higher-Order Programs with References. Proceedings of the ACM on Programming Languages, ACM, In press, 28, pp.1-28. ⟨10.1145/3371127⟩. ⟨hal-02388621⟩

Share

Metrics

Les métriques sont temporairement indisponibles