Journal Articles Proceedings of the ACM on Programming Languages Year : 2020

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

Fichier principal
Vignette du fichier
popl20main-p219-p-a0fe6b0-43145-final.pdf (520.28 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Licence
Loading...

Dates and versions

hal-02388621 , version 1 (12-12-2019)

Licence

Identifiers

Cite

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

Altmetric

Share

  • More