Frédéric Tuong

 

Website: https://www.lri.fr/~ftuong/

 

Entries

2019

October 22: Isabelle/C

October 4: Clean - An Abstract Imperative Programming Language and its Theory

 

2015

September 16: A Meta-Model for the Isabelle API

 

2014

January 16: Featherweight OCL: A Proposal for a Machine-Checked Formal Semantics for OCL 2.5