Frédéric Tuong

Homepages 🌐

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

E-Mails 📧

• rf.airni.egrofg.sresu @gnout

Entries

2019

Isabelle/C

by Frédéric Tuong 🌐 and Burkhart Wolff 🌐

Oct 22

Clean - An Abstract Imperative Programming Language and its Theory

by Frédéric Tuong 🌐 and Burkhart Wolff 🌐

Oct 04

2015

A Meta-Model for the Isabelle API

by Frédéric Tuong 📧 and Burkhart Wolff 🌐

Sep 16

2014

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

by Achim D. Brucker 📧, Frédéric Tuong 📧 and Burkhart Wolff 📧

Jan 16