Unions, program proofs and the Halting Problem

Discussions on more advanced topics such as monolithic vs micro-kernels, transactional memory models, and paging vs segmentation should go here. Use this forum to expand and improve the wiki!
embryo

Re: Unions, program proofs and the Halting Problem

Post by embryo »

Brendan wrote:I'll need to figure out how debugging, profiling and unit testing should be done (which will require a lot of research, as I strongly suspect these things shouldn't be done how they've traditionally been done).
You're trying to make everything by yourself, but if the time is in a good supply - why not?
Post Reply