On undecidability results of real programming languages

Original article can be found at : http://www.vmars.tuwien.ac.at/ Copyright Institut fur Technische InformatikOften, it is argued that some problems in data-flow analysis such as e.g. worst case execution time analysis are undecidable (because the halting problem is) and therefore only a conservative approximation of the desired information is possible. In this paper, we show that the semantics for some important real programming languages – in particular those used for programming embedded devices – can be modeled as finite state systems or pushdown machines. This implies that the halting problem becomes decidable and therefore invalidates popular arguments for using conservative analysis

Cells of the synovium in rheumatoid arthritis. Macrophages

The multitude and abundance of macrophage-derived mediators in rheumatoid arthritis and their paracrine/autocrine effects identify macrophages as local and systemic amplifiers of disease. Although uncovering the etiology of rheumatoid arthritis remains the ultimate means to silence the pathogenetic process, efforts in understanding how activated macrophages influence disease have led to optimization strategies to selectively target macrophages by agents tailored to specific features of macrophage activation. This approach has two advantages: (a) striking the cell population that mediates/amplifies most of the irreversible tissue destruction and (b) sparing other cells that have no (or only marginal) effects on joint damage

PCDAmpl, a new antigen at the interface of the embryonic collecting duct epithelium and the nephrogenic mesenchyme

P CDAmpl, a new antigen at the interface of the embryonic collecting duct epithelium and the nephrogenic mesenchyme. In the neonatal rabbit kidney nephrogenesis is not yet terminated. The ampullar collecting duct epithelium acts as an inducer that generates the nephron anlagen, however, to date the morphogenic mechanisms involved are unknown. A presupposition for successful nephron induction is the close tissue interaction between the basal aspect of the ampullar collecting duct epithelium and the surrounding mesenchyme. To gain new insights in this area we raised monoclonal antibodies (mabs), to identify specific structures localized at the tissue interface. With the generated mab CDAmpl we found an intensive immunohistochemical reaction between the basal aspect of the ampullar collecting duct epithelium and the mesenchyme. The label was most concentrated at the ampullar tip and continuously decreased in the shaft region. In the maturing collecting duct of the neonatal kidney and in the adult renal collecting duct no immunohistochemical reaction was found. The binding pattern of mab CDAmpl is different from that of all known collecting duct cell markers and from antibodies against known basement membrane compounds such as laminin or collagen type IV. Under in vitro conditions immunoreactivity with mab CDAmpl was obtained using embryonic collecting duct epithelia and perfusion culture. The antigen was present in specimens treated with Iscove's modified Dulbecco's Medium (IMDM) containing 10% fetal bovine serum. Omittance of serum or hormonal treatment with aldosterone, insulin or vitamin D3 led to the disappearance of the newly detected antigen, while characteristics of the differentiated collecting duct cells were up-regulated. We conclude that the expression of P CDAmpl is a characteristic feature of the embryonic parts of the collecting duct epithelium. It may play a pivotal role during nephron induction