Global analysis of standard prolog programs

Abstract interpretation-based data-flow analysis of logic programs is, at this point, relatively well understood from the point of view of general frameworks and abstract domains. On the other hand, comparatively little attention has been given to the problems which arise when analysis of a full, practical dialect of the Prolog language is attempted, and only few solutions to these problems have been proposed to date. Existing proposals generally restrict in one way or another the classes of programs which can be analyzed. This paper attempts to fill this gap by considering a full dialect of Prolog, essentially the recent ISO standard, pointing out the problems that may arise in the analysis of such a dialect, and proposing a combination of known and novel solutions that together allow the correct analysis of arbitrary programs which use the full power of the language.

Programming with global analysis

Global data-flow analysis of (constraint) logic programs, which is generally based on abstract interpretation [7], is reaching a comparatively high level of maturity. A natural question is whether it is time for its routine incorporation in standard compilers, something which, beyond a few experimental systems, has not happened to date. Such incorporation arguably makes good sense only if: • the range of applications of global analysis is large enough to justify the additional complication in the compiler, and • global analysis technology can deal with all the features of "practical" languages (e.g., the ISO-Prolog built-ins) and "scales up" for large programs. We present a tutorial overview of a number of concepts and techniques directly related to the issues above, with special emphasis on the first one. In particular, we concéntrate on novel uses of global analysis during program development and debugging, rather than on the more traditional application área of program optimization. The idea of using abstract interpretation for validation and diagnosis has been studied in the context of imperative programming [2] and also of logic programming. The latter work includes issues such as using approximations to reduce the burden posed on programmers by declarative debuggers [6, 3] and automatically generating and checking assertions [4, 5] (which includes the more traditional type checking of strongly typed languages, such as Gódel or Mercury [1, 8, 9]) We also review some solutions for scalability including modular analysis, incremental analysis, and widening. Finally, we discuss solutions for dealing with meta-predicates, side-effects, delay declarations, constraints, dynamic predicates, and other such features which may appear in practical languages. In the discussion we will draw both from the literature and from our experience and that of others in the development and use of the CIAO system analyzer. In order to emphasize the practical aspects of the solutions discussed, the presentation of several concepts will be illustrated by examples run on the CIAO system, which makes extensive use of global analysis and assertions.

Synthesis, Storage, and Release of Vascular Endothelial Growth Factor/Vascular Permeability Factor (VEGF/VPF) by Human Mast Cells: Implications for the Biological Significance of VEGF206

Mast cells have been implicated in various diseases that are accompanied by neovascularization. The exact mechanisms by which mast cells might mediate an angiogenic response, however, are unclear and therefore, we have investigated the possible expression of vascular endothelial growth factor/vascular permeability factor (VEGF/VPF) in the human mast cell line HMC-1 and in human skin mast cells. Reverse transcription-polymerase chain reaction (RT-PCR) analysis revealed that mast cells constitutively express VEGF121, VEGF165, and VEGF189. After a prolonged stimulation of cells for 24 h with phorbol 12-myristate 13-acetate (PMA) and the ionophore A23187, an additional transcript representing VEGF206 was detectable, as could be verified by sequence analysis. These results were confirmed at the protein level by Western blot analysis. When the amounts of VEGF released under unstimulated and stimulated conditions were compared, a significant increase was detectable after stimulation of cells. Human microvascular endothelial cells (HMVEC) responded to the supernatant of unstimulated HMC-1 cells with a dose-dependent mitogenic effect, neutralizable up to 90% in the presence of a VEGF-specific monoclonal antibody. Flow cytometry and postembedding immunoelectron microscopy were used to detect VEGF in its cell-associated form. VEGF was exclusively detectable in the secretory granules of isolated human skin mast cells. These results show that both normal and leukemic human mast cells constitutively express bioactive VEGF. Furthermore, this study contributes to the understanding of the physiological role of the strongly heparin-binding VEGF isoforms, since these were found for the first time to be expressed in an activation-dependent manner in HMC-1 cells.

Conformational transitions monitored for single molecules in solution.

Phenomena that can be observed for a large number of molecules may not be understood if it is not possible to observe the events on the single-molecule level. We measured the fluorescence lifetimes of individual tetramethylrhodamine molecules, linked to an 18-mer deoxyribonucleotide sequence specific for M13 DNA, by time-resolved, single-photon counting in a confocal fluorescence microscope during Brownian motion in solution. When many molecules were observed, a biexponential fluorescence decay was observed with equal amplitudes. However, on the single-molecule level, the fraction of one of the amplitudes spanned from 0 to unity for a collection of single-molecule detections. Further analysis by fluorescence correlation spectroscopy made on many molecules revealed a process that obeys a stretched exponential relaxation law. These facts, combined with previous evidence of the quenching effect of guanosine on rhodamines, indicate that the tetramethylrhodamine molecule senses conformational transitions as it associates and dissociates to a guanosine-rich area. Thus, our results reveal conformational transitions in a single molecule in solution under conditions that are relevant for biological processes.

De novo synthesis of brominated dioxins and furans

On the basis of laboratory experiments with model mixtures (active carbon + CuBr2 at different loads), this work studies the formation of polybrominated dibenzo-p-dioxins and dibenzofurans (PBDD/Fs) by de novo synthesis. For the different samples, the temperature of the maximum carbon oxidation rate was determined by thermogravimetric analysis, and a kinetic model was proposed for the degradation of the materials in an oxidizing atmosphere (synthetic air). The effect of the addition of different amounts of CuBr2 was studied, finding that its presence accelerates the degradation of the carbonaceous structure in the presence of oxygen. The thermal degradation of the samples in air is satisfactorily described by a first-order single-reaction model. In addition, combustion runs of one of the mixtures (consisting of activated carbon + 50 wt % CuBr2, pyrolyzed at 700 °C) were performed in a quartz horizontal laboratory furnace. The analysis of the emissions and the solid residue proved the formation of brominated dioxins and furans at 300, 400, and 500 °C, with a maximum yield at 300 °C (91.7 ng/g of total PBDD/Fs) and a higher bromination degree with increasing temperature.