Protocol combinators for modeling, testing, and execution of distributed systems. Kristoffer Just Arndal Andersen and Ilya Sergey. Journal of Functional Programming, 31, E3, 2021. 2021 shelley2024-07-26T09:03:55+00:00 Share this content FacebookXLinkedInWhatsAppEmail Related Posts Test-case reduction and deduplication almost for free with transformation-based compiler testing. Test-case reduction and deduplication almost for free with transformation-based compiler testing. Annual Report 2020/2021 Annual Report 2020/2021 Connecting software build with maintaining consistency between models: towards sound, optimal, and flexible building from megamodels. Connecting software build with maintaining consistency between models: towards sound, optimal, and flexible building from megamodels. Proof-Producing Synthesis of CakeML from Monadic HOL Functions. Proof-Producing Synthesis of CakeML from Monadic HOL Functions.
by