Collaborated with:T.Ellman J.E.Keane M.Schwabacher
Talks about:differenti (1) transform (1) synthesi (1) strategi (1) reformul (1) ordinari (1) interact (1) program (1) network (1) algebra (1)
Person: Takahiro Murata
DBLP: Murata:Takahiro
Contributed to:
19961995Wrote 2 papers:
- KBSE-1996-EllmanM #algebra #deduction #difference #equation #network #simulation #source code #synthesis
- Deductive Synthesis of Numerical Simulation Programs from Networks of Algebraic and Ordinary Differential Equations (TE, TM), p. 5.
- KBSE-1995-EllmanKMS #design #interactive #optimisation
- A Transformation System for Interactive Reformulation of Design Optimization Strategies (TE, JEK, TM, MS), pp. 44–51.