[<<][c][>>][..]
Sat Jan 31 12:35:51 CET 2009

logic & constraint based programming

More specifically: reversible dataflow.  From a collection of
equations (or inequalities), construct a C program or interpreter +
program representation that computes a solution (or computes
feasability).



[Reply][About]
[<<][c][>>][..]