Foxtrot is the first higher-order separation logic for contextual refinement of higher-order concurrent probabilistic programs with higher-order local state, mechanized in Rocq and Iris.
Title resolution pending
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
representative citing papers
Derives correct deterministic semantics for multiagent logic programs from abstract ones and uses them as specs for AI-generated Dart implementations.
citing papers explorer
-
Contextual Refinement of Higher-Order Concurrent Probabilistic Programs (Extended Version)
Foxtrot is the first higher-order separation logic for contextual refinement of higher-order concurrent probabilistic programs with higher-order local state, mechanized in Rocq and Iris.
-
Implementing Grassroots Logic Programs with Multiagent Transition Systems and AI
Derives correct deterministic semantics for multiagent logic programs from abstract ones and uses them as specs for AI-generated Dart implementations.