Thibaut Girka

According to our database, Thibaut Girka authored at least 3 papers between 2015 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2018

Differential program semantics. (Sémantique différentielle de programme).

Thibaut Girka

PhD thesis, 2018

2017

Verifiable semantic difference languages.

Thibaut Girka, David Mentré, Yann Régis-Gianas

Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09, 2017

2015

A Mechanically Checked Generation of Correlating Programs Directed by Structured Syntactic Differences.

Thibaut Girka, David Mentré, Yann Régis-Gianas

Proceedings of the Automated Technology for Verification and Analysis, 2015