Have you used VHDL? Depending on the compiler, VHDL sequential processes can be compiled to hardware. Also type systems can enforce termination (strong normalisation), as in simply typed lambda calculus.
Keean. On 7 July 2015 at 12:13, Ben Kloosterman <[email protected]> wrote: > I have been working on the edge of hardware land for the last 18 months > and i was wondering about a regular language being used instead of ladder > logic. It seems to me if you have memory safety and type safety , the only > things you need is some sort of determinism to exit a loop eg guarantee the > loop does not run more than n times , that there is no allocation and a > function cannot take longer than ms without excepting. This seems very > similar to some aspects of kernel development. > > Has any thought been given to this sort of constraint in bitc/ modern > Languages..? > > Regards, > > Ben > > _______________________________________________ > bitc-dev mailing list > [email protected] > http://www.coyotos.org/mailman/listinfo/bitc-dev > >
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
