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

Knowledge - Based Software Engineering - Conference Proceedings, KBSE

Volumn , Issue , 1996, Pages 2-11

  Ellman, Thomas ^a   Murata, Takahiro ^a  

^a RUTGERS UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; ALGORITHMS; COMPUTER SIMULATION; DIFFERENTIAL EQUATIONS; INTEGRATION; RECURSIVE FUNCTIONS; SIMULATORS;

DEDUCTIVE PROGRAM SYNTHESIS; FIRST ORDER LOGIC; NUMERICAL SIMULATION PROGRAM; ROOT EXTRACTION ROUTINES; SECOND ORDER FUNCTIONAL PROGRAMS;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0029728089     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)