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
2 LS2N - Laboratoire des Sciences du Numérique de Nantes
Keywords : Contextual Equivalence Higher-Order Stateful Programs Operational Game Semantic
Document type :
Journal articles
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

Collections

UNIV-NANTES | LS2N-GALLINETTE | LS2N | UNAM | EC-NANTES | INRIA | CNRS

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

70

Files downloads

61

Contact

Informations

CCSD