Abstrakt. Vi presenterar CoCo, Concurrency Commentator, ett verktyg som återställer en deklarativ bild av samtidiga Haskell funktioner som fungerar på någon delad stat. Den här deklarativa vyn presenteras som en samling av automatiskt upptäckta egenskaper. Dessa egenskaper handlar om förfining och ekvivalens av effekter, snarare än jämlikhet av slutresultat. Verktyget är baserat på testning i ett dynamiskt beskurna sökområde, snarare än statisk analys eller teorem som bevisar. Fallstudier om samtidiga stackar och semaforer visar hur användning av CoCo kan informera förståelse för programbeteende.
CoCo CoCo (Concurrency Commentator) verktyg REF genererar specifikationer för samtidiga Haskell program som innehåller lagar om förfining eller likvärdighet av biverkningar.
Cheap Remarks About Concurrent Programs
{'venue': 'FLOPS', 'journal': None, 'mag_field_of_study': ['Computer Science']}