Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot. Optimizing the accuracy of a rocket trajectory simulation by program transformation. In Claudia Di Napoli, Valentina Salapura, Hubertus Franke, Rui Hou, editors, Proceedings of the 12th ACM International Conference on Computing Frontiers, CF'15, Ischia, Italy, May 18-21, 2015. pages 40, ACM, 2015. [doi]
Abstract is missing.