Teaching Interactive Program Semantics
Published in Zenodo (CERN European Organization for Nuclear Research) • May 5, 2023
NobleIDNI5P32W62R19S18
Authors:
Luise Puhl
Abstract
Teaching Interactive Program Semantics Tool In the context of my Bachelor Thesis, I implemented the foundations of a tool for students, to interactively work on semantics proofs.
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!