Views: compositional reasoning for concurrent programs.

Thomas Dinsdale-Young Lars Birkedal Philippa Gardner Matthew J. Parkinson Hongseok Yang

Published in: POPL (2013)

Keyphrases

concurrent programs
multiple views
knowledge base
concurrent processes
knowledge representation
production rules
process algebra
machine learning