Algebraic specification and automatic generation of compilers.

Masahiko Sakai Toshiki Sakabe Yasuyoshi Inagaki

Published in: Systems and Computers in Japan (1992)

Keyphrases

programming language
code generation
automatically generate
specification language
hardware and software
high level
computer architecture
general purpose
massively parallel
formal specification
real time
neural network
hidden markov models
formal verification