EstPC

A compiler from Estelle to C.

ftp:osi.ncsl.nist.gov/pub/osikit/estpc.

Last updated: 1994-09-19

Nearby terms:

essential complexityEstelleEsterelEstPCETetET++eta abstraction

Try this search on Wikipedia, OneLook, Google


Loading