Deductive synthesis of numerical simulation programs from networks of algebraic and ordinary differential equations

Thomas Ellman, Takahiro Murata. Deductive synthesis of numerical simulation programs from networks of algebraic and ordinary differential equations. In Proceedings of the 11th Knowledge-Based Software Engineering Conference, KBSE 1996, Syracuse, NY, USA, September 25-28, 1996. pages 2-11, IEEE Computer Society, 1996. [doi]

Abstract

Abstract is missing.