References in zbMATH (referenced in 11 articles )

Showing results 1 to 11 of 11.
Sorted by year (citations)

  1. Brown et al.: libCEED: Fast algebra for high-order element-based discretizations (2021) not zbMATH
  2. Hellus, M.; Rechenauer, A.; Waldi, R.: On the Frobenius number of certain numerical semigroups (2021)
  3. Matthew Treinish, Ivan Carvalho, Georgios Tsilimigkounakis, Nahum Sá: retworkx: A High-Performance Graph Library for Python (2021) arXiv
  4. Carneiro, Mario: Metamath Zero: designing a theorem prover prover (2020)
  5. Garzella, Jack J.; Baranowski, Marek; He, Shaobo; Rakamarić, Zvonimir: Leveraging compiler intermediate representation for multi- and cross-language verification (2020)
  6. Schrijvers, Tom; Oliveira, Bruno C. D. S.; Wadler, Philip; Marntirosian, Koar: COCHIS: stable and coherent implicits (2019)
  7. Jung, Ralf; Krebbers, Robbert; Jourdan, Jacques-Henri; Bizjak, Aleš; Birkedal, Lars; Dreyer, Derek: Iris from the ground up: a modular foundation for higher-order concurrent separation logic (2018)
  8. Charguéraud, Arthur; Pottier, François: Temporary Read-only permissions for separation logic (2017)
  9. Doko, Marko; Vafeiadis, Viktor: Tackling real-life relaxed concurrency with FSL++ (2017)
  10. O’Connor, Liam; Chen, Zilin; Rizkallah, Christine; Amani, Sidney; Lim, Japheth; Murray, Toby; Nagashima, Yutaka; Sewell, Thomas; Klein, Gerwin: Refinement through restraint: bringing down the cost of verification (2016)
  11. Latch, Dana May: The connection between the fundamental groupoid and a unification algorithm for syntactic algebras (Extended abstract) (1991)