Isabelle/C. | 0 | 0.34 | 2019 |
Clean - An Abstract Imperative Programming Language and its Theory. | 0 | 0.34 | 2019 |
Recent Developments in OCL and Textual Modelling. | 0 | 0.34 | 2016 |
A Meta-Model for the Isabelle API. | 1 | 0.38 | 2015 |
Towards a Tool for Featherweight OCL: A Case Study On Semantic Reflection. | 0 | 0.34 | 2014 |
Featherweight OCL: A Proposal for a Machine-Checked Formal Semantics for OCL 2.5. | 4 | 0.54 | 2014 |
On the Semantics of Object-Oriented Data Structures and Path Expressions. | 0 | 0.34 | 2013 |
First steps towards the certification of an ARM simulator using compcert | 5 | 0.52 | 2011 |