anhinga_anhinga (anhinga_anhinga) wrote,

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 (1998-1999, PostScript, ftp from

Continuous Models of Computation

and a longer joint paper:

Continuous Models of Computation for Logic Programs: Importing Continuous Mathematics into Logic Programming's Algorithmic Foundations
Tags: math, revisit, software continualization

  • Post a new comment


    default userpic

    Your reply will be screened

    When you submit the form an invisible reCAPTCHA check will be performed.
    You must follow the Privacy Policy and Google Terms of use.