DEVELOPING a softwareintensive system is like raising a child. As Will PleasantRyan observed, both babies and code have smells, you get used to changing requirements, you have to take the long view, you can’t do it alone, and eventually you have to let go.1 I would add to Will’s most excellent simile that, although you might think you know everything up front, you certainly don’t, and therefore...

kawasaki disease (kd) is an acute vasculitis syndrome of unknown etiology. it occurs in infants and young children, affecting mainly small and medium-sized arteries, particularly the coronary arteries. generalized microvasculitis occurs in the first 10 days, and the inflammation persists in the walls of medium and small arteries, especially the coronary arteries, and changes to coronary artery ...

We present a new procedure based on abstract interpretation for determining where the occur-check may be safely omitted from uniication in an SLD-derivation. The procedure can be used by compilers that allow co-routining and by parallel implementations. It has been designed primarily for a typed language such as GG odel where the type information can be used to improve both the accuracy of the ...

In answer set programming (ASP), one does not allow the use of function symbols. Disallowing function symbols avoids the problem of having logic programs which have stable models of excessively high complexity. For example, Marek, Nerode, and Remmel showed that there exist finite predicate logic programs which have stable models but which have no hyperarithmetic stable model. Disallowing functi...

Set-Sharing analysis, the classic Jacobs and Langen’s domain, has been widely used to infer several interesting properties of programs at compile-time such as occurs-check reduction, automatic parallelization, finite-tree analysis, etc. However, performing abstract unification over this domain implies the use of a closure operation which makes the number of sharing groups grow exponentially. Mu...