Skip to Main content Skip to Navigation

inria-00099327v1  Reports
Jean-Yves Marion. A proof theoretic approach to feasible computation
[Interne] A00-R-375 || marion00d, 2000, 17 p
hal-02422273v1  Conference papers
Thomas LetanYann Régis-Gianas. FreeSpec: Specifying, Verifying and Executing Impure Computations in Coq
CPP 2020 - 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2020, Nouvelle-Orléans, United States. pp.1-15, ⟨10.1145/3372885.3373812⟩
hal-01767328v1  Conference papers
Van Chan NgoJean-Pierre TalpinThierry Gautier. Translation Validation for Synchronous Data-Flow Specification in the SIGNAL Compiler
35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.66-80, ⟨10.1007/978-3-319-19195-9_5⟩