Using standard typing algorithms incrementally

Modern languages are equipped with static type checking/inference that helps programmers to keep a clean programming style and to reduce errors. However, the ever-growing size of programs and their continuous evolution require building fast and efficient analysers. A promising solution is incrementality, aiming at only re-typing the diffs, i.e. those parts of the program that change or are inserted, rather than the entire codebase. We propose an algorithmic schema that drives an incremental usage of existing, standard typing algorithms with no changes. Ours is a grey-box approach: just the shape of the input, that of the results and some domain-specific knowledge are needed to instantiate our schema. Here, we present the foundations of our approach and the conditions for its correctmess. We show it at work to derive two different incremental typing algorithms. The first type checks an imperative language to detect information flow and non-interference, and the second infers types for a functional language. We assessed our proposal on a prototypical imple- mentation of an incremental type checker. Our experiments show that using the type checker incrementally is (almost) always rewardin

Using Standard Typing Algorithms Incrementally

Modern languages are equipped with static type checking/inference that helps programmers to keep a clean programming style and to reduce errors. However, the ever-growing size of programs and their continuous evolution require building fast and efficient analysers. A promising solution is incrementality, so one only re-types those parts of the program that are new, rather than the entire codebase. We propose an algorithmic schema driving the definition of an incremental typing algorithm that exploits the existing, standard ones with no changes. Ours is a grey-box approach, meaning that just the shape of the input, that of the results and some domain-specific knowledge are needed to instantiate our schema. Here, we present the foundations of our approach and we show it at work to derive three different incremental typing algorithms. The first two implement type checking and inference for a functional language. The last one type-checks an imperative language to detect information flow and non-interference. We assessed our proposal on a prototypical implementation of an incremental type checker. Our experiments show that using the type checker incrementally is (almost) always rewarding.Comment: corrected and updated; experimental results adde

Factors influencing quality of life following lower limb amputation for peripheral arterial occlusive disease: a systematic review of the literature

Background: The majority of lower limb amputations are undertaken in people with peripheral arterial occlusive disease,\ud and approximately 50% have diabetes. Quality of life is an important outcome in lower limb amputations; little is known\ud about what influences it, and therefore how to improve it.\ud Objectives: The aim of this systematic review was to identify the factors that influence quality of life after lower limb\ud amputation for peripheral arterial occlusive disease.\ud Methods: MEDLINE, EMBASE, CINAHL, PsycINFO, Web of Science and Cochrane databases were searched to identify\ud articles that quantitatively measured quality of life in those with a lower limb amputation for peripheral arterial occlusive\ud disease. Articles were quality assessed by two assessors, evidence tables summarised each article and a narrative\ud synthesis was performed.\ud Study design: Systematic review.\ud Results: Twelve articles were included. Study designs and outcome measures used varied. Quality assessment scores\ud ranged from 36% to 92%. The ability to walk successfully with a prosthesis had the greatest positive impact on quality\ud of life. A trans-femoral amputation was negatively associated with quality of life due to increased difficulty in walking\ud with a prosthesis. Other factors such as older age, being male, longer time since amputation, level of social support and\ud presence of diabetes also negatively affected quality of life.\ud Conclusion: Being able to walk with a prosthesis is of primary importance to improve quality of life for people with lower\ud limb amputation due to peripheral arterial occlusive disease. To further understand and improve the quality of life of this\ud population, there is a need for more prospective longitudinal studies, with a standardised outcome measure

The Time Course of the Influence of Valence and Arousal on the Implicit Processing of Affective Pictures

In the current study, we investigated the time course of the implicit processing of affective pictures with an orthogonal design of valence (negative vs. positive) by arousal (low vs. high). Previous studies with explicit tasks suggested that valence mainly modulates early event-related potential (ERP) components, whereas arousal mainly modulates late components. However, in this study with an implicit task, we observed significant interactions between valence and arousal at both early and late stages over both parietal and frontal sites, which were reflected by three different ERP components: P2a (100–200 ms), N2 (200–300 ms), and P3 (300–400 ms). Furthermore, there was also a significant main effect of arousal on P2b (200–300 ms) over parieto-occipital sites. Our results suggest that valence and arousal effects on implicit affective processing are more complicated than previous ERP studies with explicit tasks have revealed

Modular Product Programs

ISSN:0164-0925ISSN:1558-459