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 metadatas

Cited literature [42 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02388621
Contributor : Guilhem Jaber <>
Submitted on : Thursday, December 12, 2019 - 5:22:10 PM
Last modification on : Friday, December 13, 2019 - 1:37:31 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

Record views

70

Files downloads

61