Effective Bridging Between Ecore and Coq: Case of a Type-Checker with Proof-Carrying Code.

Jérémy Buisson Seidali Rehab

Published in: MISC (2018)

Keyphrases

theorem prover
real time
high quality
computationally efficient
information systems
source code
operating system