Recalling a Witness: Foundations and Applications of Monotonic State. Ahman, D., Fournet, C., Hritcu, C., Maillard, K., Rastogi, A., & Swamy, N. PACMPL, 2(POPL):65:1–65:30, January, 2018.
Paper bibtex @article{preorders,
author = {Danel Ahman and
C\'edric Fournet and
Catalin Hritcu and
Kenji Maillard and
Aseem Rastogi and
Nikhil Swamy},
title = {Recalling a Witness: Foundations and Applications of Monotonic State},
journal = {{PACMPL}},
volume = {2},
number = {{POPL}},
pages = {65:1--65:30},
year = {2018},
month = jan,
url = {https://arxiv.org/abs/1707.02466},
}
Downloads: 0
{"_id":"FTLupnBkj6aPJ6heK","bibbaseid":"ahman-fournet-hritcu-maillard-rastogi-swamy-recallingawitnessfoundationsandapplicationsofmonotonicstate-2018","authorIDs":[],"author_short":["Ahman, D.","Fournet, C.","Hritcu, C.","Maillard, K.","Rastogi, A.","Swamy, N."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Danel"],"propositions":[],"lastnames":["Ahman"],"suffixes":[]},{"firstnames":["Cédric"],"propositions":[],"lastnames":["Fournet"],"suffixes":[]},{"firstnames":["Catalin"],"propositions":[],"lastnames":["Hritcu"],"suffixes":[]},{"firstnames":["Kenji"],"propositions":[],"lastnames":["Maillard"],"suffixes":[]},{"firstnames":["Aseem"],"propositions":[],"lastnames":["Rastogi"],"suffixes":[]},{"firstnames":["Nikhil"],"propositions":[],"lastnames":["Swamy"],"suffixes":[]}],"title":"Recalling a Witness: Foundations and Applications of Monotonic State","journal":"PACMPL","volume":"2","number":"POPL","pages":"65:1–65:30","year":"2018","month":"January","url":"https://arxiv.org/abs/1707.02466","bibtex":"@article{preorders,\n author = {Danel Ahman and\n C\\'edric Fournet and\n Catalin Hritcu and\n Kenji Maillard and\n Aseem Rastogi and\n Nikhil Swamy},\n title = {Recalling a Witness: Foundations and Applications of Monotonic State},\n journal = {{PACMPL}},\n volume = {2},\n number = {{POPL}},\n pages = {65:1--65:30},\n year = {2018},\n month = jan,\n url = {https://arxiv.org/abs/1707.02466},\n}\n\n","author_short":["Ahman, D.","Fournet, C.","Hritcu, C.","Maillard, K.","Rastogi, A.","Swamy, N."],"key":"preorders","id":"preorders","bibbaseid":"ahman-fournet-hritcu-maillard-rastogi-swamy-recallingawitnessfoundationsandapplicationsofmonotonicstate-2018","role":"author","urls":{"Paper":"https://arxiv.org/abs/1707.02466"},"downloads":0},"bibtype":"article","biburl":"http://fstar-lang.org/fstar.bib","creationDate":"2020-07-12T03:02:49.297Z","downloads":0,"keywords":[],"search_terms":["recalling","witness","foundations","applications","monotonic","state","ahman","fournet","hritcu","maillard","rastogi","swamy"],"title":"Recalling a Witness: Foundations and Applications of Monotonic State","year":2018,"dataSources":["eyMWQ4bjnGX3pP6cA"]}