Formalization of a Big Graph API in Coq
暂无分享,去创建一个
[1] Frédéric Loulergue,et al. Calculating Parallel Programs in Coq Using List Homomorphisms , 2017, International Journal of Parallel Programming.
[2] Akimasa Morihata,et al. Think like a vertex, behave like a function! a functional DSL for vertex-centric big graph processing , 2016, ICFP.
[3] Nikolai Kosmatov,et al. Frama-C: A software analysis perspective , 2015, Formal Aspects of Computing.
[4] Hideki Hashimoto,et al. Program Calculation in Coq , 2010, AMAST.
[5] Aart J. C. Bik,et al. Pregel: a system for large-scale graph processing , 2010, SIGMOD Conference.