software continualization: Howard Blair

[anhinga_anhinga]

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 ftp://ftp.cis.syr.edu/users/blair):

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

Comments

[http://users.livejournal.com/_rowan_tree_/]

Is this a part of your preparation for the talk?

Off-top: And why the heck aren't you answering your phone? :-)

[anhinga-anhinga.livejournal.com]

> Is this a part of your preparation for the talk?

Indeed :-)

> Off-top: And why the heck aren't you answering your phone? :-)

А ты почему? :-)

[http://users.livejournal.com/_rowan_tree_/]

А ты почему? - da, dejstvitel'no, ty mne chego-to ostavil dazhe. U menya teper' dom slishkom bol'shoj, a telefon malen'kij takoj, ya ego ne slyshu inogda.