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

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

Domains

Logic in Computer Science [cs.LO] Programming Languages [cs.PL]
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)

Guilhem Jaber  : Connect in order to contact the contributor

https://hal.science/hal-02388621

Submitted on : Thursday, December 12, 2019-5:22:10 PM

Last modification on : Wednesday, October 30, 2024-7:41:32 PM

Long-term archiving on : Friday, March 13, 2020-11:40:04 PM

Download

Dates and versions

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

Identifiers

Cite

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

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-NANTES CNRS INRIA EC-NANTES UNAM INRIA2 LS2N LS2N-GALLINETTE ANR NANTES-UNIVERSITE
429 View
287 Download

Altmetric

Share

More