Email Gateway (Aug 18 2022 at 11:11): Email Gateway (Aug 18 2022 at 11:11):From: Tobias Nipkow <nipkow@in.tum.de>
We are pleased to announce that a new article has made it into the
Archive of Formal Proofs:
Jinja With Threads
Andreas Lochbihler
We extend the Jinja source code semantics by Klein and Nipkow with
Java-style arrays and threads. Concurrency is captured in a generic
framework semantics for adding concurrency to a sequential semantics,
which features dynamic thread creation, inter-thread communication via
shared memory and lock synchronisation. Also, threads can suspend
themselves and be notified by others. We instantiate the framework with
the adapted Jinja source code semantics and show type safety for the
multithreaded case. For explanations see the FOOL 2008 paper by A.
Lochbihler.
http://afp.sourceforge.net/entries/JinjaThreads.shtml
Last updated: May 03 2024 at 12:27 UTC