Parisen Toldin, P., Kersten, R., van Gastel, B., van Eekelen, M.: Soundness Proof for a Hoare Logic for Energy Consumption Analysis. Technical Report ICIS- R13009, Radboud University Nijmegen (October 2013)Parisen Toldin, P., Kersten, R., van Gastel, B., van Eekelen, M.: ...
We read every piece of feedback, and take your input very seriously. Include my email address so I can be contacted Cancel Submit feedback Saved searches Use saved searches to filter your results more quickly Cancel Create saved search Sign in Sign up Reseting focus {...
We read every piece of feedback, and take your input very seriously. Include my email address so I can be contacted Cancel Submit feedback Saved searches Use saved searches to filter your results more quickly Cancel Create saved search Sign in Sign up Reseting focus {...
The programming language Mezzo is equipped with a rich type system that controls aliasing and access to mutable memory. We incorporate shared-memory concurrency into Mezzo and present a modular formalization of its core type system, in the form of a concurrentλ-calculus, which we extend with ref...
The inference rules that we will provide are admissible lemmas, and they use separation logic as their meta-logic. We defer the definition of the assertion as a simulation to \cref{sec:adequacy}, where it will also be proved adequate with respect to a notion of behavior refinement expressed ...