HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Generic Environments in Coq

Abstract : We introduce a library which provides an abstract data type of environments, as a functor parameterized by a module defining variables, and a function which builds environments for such variables with any Type of type. Usual operations over environments are defined, along with an extensive set of basic and more advanced properties. Moreover, we give an implementation using lists satisfying all the required properties.
Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-00648397
Contributor : Emmanuel Polonowski Connect in order to contact the contributor
Submitted on : Monday, December 5, 2011 - 3:59:19 PM
Last modification on : Tuesday, October 19, 2021 - 4:06:45 PM
Long-term archiving on: : Tuesday, March 6, 2012 - 2:36:09 AM

File

TR_coq_ws_2011.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00648397, version 1

Collections

Citation

Emmanuel Polonowski. Generic Environments in Coq. The Third Coq Workshop (Coq'3), Aug 2011, Nijmegen, Netherlands. ⟨hal-00648397⟩

Share

Metrics

Record views

123

Files downloads

48