Login / Signup

A Weak Memory Model in Progvis: Verification and Improved Accuracy of Visualizations of Concurrent Programs to Aid Student Learning.

Filip StrömbäckLinda MannilaMariam Kamkar
Published in: Koli Calling (2022)
Keyphrases
  • student learning
  • improved accuracy
  • artificial intelligence
  • high level
  • data model
  • general purpose
  • collaborative learning
  • mobile phone
  • learning activities
  • model checking
  • process algebra