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

Guilhem Jaber

doi:10.1145/3371127

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

Domain :

Computer Science [cs] / Logic in Computer Science [cs.LO]

Computer Science [cs] / Programming Languages [cs.PL]

Complete list of metadata

Cited literature [42 references] Display Hide Download

https://hal.archives-ouvertes.fr/hal-02388621
Contributor : Guilhem Jaber Connect in order to contact the contributor
Submitted on : Thursday, December 12, 2019 - 5:22:10 PM
Last modification on : Wednesday, November 3, 2021 - 4:22:59 AM
Long-term archiving on: : Friday, March 13, 2020 - 11:40:04 PM

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

File

Identifiers

Collections

Citation

Export

Metrics

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

File

Identifiers

Collections

Citation

Export

Share

Metrics