Author of the publication

Trusting computations: A mechanized proof from partial differential equations to actual program.

, , , , , and . Comput. Math. Appl., 68 (3): 325-352 (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Le langage Caml, and . InterEditions, (1994)Skeletal Parallel Programming with OCamlP3l 2.0., , , and . Parallel Process. Lett., 18 (1): 149-164 (2008)Trusting computations: A mechanized proof from partial differential equations to actual program., , , , , and . Comput. Math. Appl., 68 (3): 325-352 (2014)Translating Simulink Models to Modelica using the \NSP Platform., , and . Modelica, volume 157 of Linköping Electronic Conference Proceedings, page 157:089. Linköping University Electronic Press, (2019)Bigloo: A Portable and Optimizing Compiler for Strict Functional Languages, and . SAS, volume 983 of Lecture Notes in Computer Science, page 366-381. Springer, (1995)Image Segmentation with Optimal Control Techniques, , , and . CoRR, (2010)Generic Polymorphism., , and . POPL, page 118-129. ACM Press, (1995)On the Implementation of Construction Functions for Non-free Concrete Data Types., , and . ESOP, volume 4421 of Lecture Notes in Computer Science, page 95-109. Springer, (2007)