NobleBlocks
Public

Dynamic Frames in Java Dynamic Logic. Formalisation and Proofs

Published in Repository KITopen (Karlsruhe Institute of Technology) • Jan 1, 2010
NobleIDNI5P89W97R05S70
Authors:
Peter H. Schmitt
,
Mattias Ulbrich
,
Benjamin Weiß

Abstract

This report is a companion to the paper Dynamic Frames in Java Dynamic Logic [2]. It contains complementary formal definitions and proofs.

Subject

Computer science
Programming language
Mathematical proof
Finding related papers...

Discussions

(0)

No comments yet

Be the first to share your thoughts!