Circuit Simulation Code Generation by Computer Algebra.

Kia-Fock Loe Noritaka Ohsawa Eiichi Goto

Published in: RIMS Symposia on Software Science and Engineering (1984)

Keyphrases

code generation
computer algebra
application development
code generator
software development
theorem prover
modeling language
software reuse
rapid prototyping
model driven
data processing
formal specification
machine learning
probability distribution
automated theorem provers