software continualization: Howard Blair

I started to look at some new work in software continualization recently, in particular, at models using ordinary dinamical systems (both discrete and continuous time), as opposed to more popular models which use non-Hausdorff topology.

In particular, I wanted to refer to the papers by Howard Blair and his colleagues from Syracuse University developing such models for logic programming ( Read more... )