Steel: Proof-oriented Programming in a Dependently Typed Concurrent Separation Logic (bibtex)
by , , , , , ,
Reference:
Steel: Proof-oriented Programming in a Dependently Typed Concurrent Separation Logic (Aymeric Fromherz, Aseem Rastogi, Nikhil Swamy, Sydney Gibson, Guido Martínez, Denis Merigoux, Tahina Ramananandro), 2021. (In submission)
Bibtex Entry:
@misc{steel,
  author = {Aymeric Fromherz and
            Aseem Rastogi and
            Nikhil Swamy and
            Sydney Gibson and
            Guido Mart\'inez and
            Denis Merigoux and
            Tahina Ramananandro},
  title = {Steel: Proof-oriented Programming in a Dependently Typed Concurrent Separation Logic},
  year = 2021,
  month = March,
  url = {https://www.fstar-lang.org/papers/steel/},
  note = {In submission},
}
Powered by bibtexbrowser