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
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 : Tuesday, January 19, 2021 - 6:26:53 PM
Long-term archiving on: : Friday, March 13, 2020 - 11:40:04 PM

File

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

Identifiers

Collections

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

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

269

Files downloads

376