Deductive Synthesis of Numerical Simulation Programs from Networks of Algebraic and Ordinary Differential Equations

Automated Software Engineering

Volumn 5, Issue 3, 1998, Pages 291-319

  Ellman, Thomas ^a   Murata, Takahiro ^a  

^a RUTGERS UNIVERSITY   (United States)

Author keywords

Deduction; Numerical simulation; Program synthesis

Indexed keywords

COMPUTER SIMULATION; DIFFERENTIATION (CALCULUS); FORMAL LOGIC; INTEGRATION; ORDINARY DIFFERENTIAL EQUATIONS;

DEDUCTIVE PROGRAM SYNTHESIS; HORN LOGIC;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0032118339     PISSN: 09288910     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1008604724481     Document Type: Article

References (18)

1. Buchberger, B. 1987. History and basic features of the critical-pair/completion procedure. Journal of Symbolic Computation, 3(1):3-38.
2. Ellman, T., Keane, J., and Schwabacher, M. 1993. Intelligent model selection for hillclimbing search in computer-aided design. Proceedings of the Eleventh National Conference on Artificial Intelligence, Washington, DC.
3. Ellman, T., Keane, J., Banerjee, A., and Armhold, G. 1998. A transformation system for interactive reformulation of design optimization strategies. Research in Engineering Design, 10(1):30-61.
4. Ellman, T. and Murata, T. 1996. Deductive synthesis of numerical simulation programs from networks of algebraic and ordinary differential equations. Proceedings of the Eleventh Knowledge-Based Software Engineering Conference, Syracuse, NY.
5. Gelsey, A., Smith, D., Schwabacher, M., Rasheed, K., and Miyake, K. 1996. A search space toolkit. Decision Support Systems, special issue on Unification of Artificial Intelligence with Optimization.
6. Gunter, C. 1992. Semantics of Programming Languages: Structures and Techniques, Cambridge, Massachusetts, MIT Press.
7. Kant, E. 1993. Synthesis of mathematical modeling software. IEEE Software, 10(3):30-41.
8. Keane, J. 1996. Extensions to Franz, Inc.'s Allegro Common Lisp foreign function interface. Technical Report HPCD-TR-41, Department of Computer Science, Rutgers University.
9. Keller, R., Rimon, M., and Das, A. 1994. A knowledge-based prototyping environment for construction of scientific modeling software. Automated Software Engineering, 1(1):79-128.
10. Kowalski, A. and Peskin, R. 1990. Anatomy of Agnes: An automatic generator of numerical equation solutions. In E.N. Houstis, ed., Intelligent Mathematical Software Systems, New York: Elsevier Science Publishers, pp. 33-42.
11. Lloyd, J. 1987. Foundations of Logic Programming. New York: Springer-Verlag.
12. Lowry, M., Philpot, A., Pressberger, T., and Underwood, I. 1994. A formal approach to domain-oriented software design environments. Proceedings of the Ninth Knowledge-Based Software Engineering Conference, Monterey, CA.
13. Manna, Z. and Waldinger, R. 1992. Fundamentals of deductive program synthesis. IEEE Transactions on Software Engineering, 18(8):674-705.
14. Matlab. 1992. MATLAB: High Performance Numerical Computation and Visualization Software. Natick, MA: The Math Works, Inc.
15. Nadathar, G. and Miller, D. 1990. Higher-order horn clauses. JACM, 37(4):777-814.
16. Press, W., Flannery, B., Teukolsky, S., and Vetterling, W. 1986. Numerical Recipes. New York, NY: Cambridge University Press.
17. Pressburger, T. and Lowry, M. 1995. Automatic domain oriented software design using formal methods. In Software Systems in Engineering, Energy-Sources Technology Conference and Exhibition, Houston, TX.
18. Shapiro, E. and Sterling, L. 1986. The Ant of Prolog. Cambridge, Massachusetts: MIT Press.