排序方式: 共有6条查询结果,搜索用时 0 毫秒
1
1.
We show that a large class of data-flow analyses for imperative languages are describable as type systems in the following technical sense: possible results of an analysis can be described in a language of types so that a program checks with a type if and only if this type is a supertype of the result of applying the analysis. Type-checking is easy with the help of a certificate that records the “eureka”-bits of a typing derivation. Certificate-assisted type-checking amounts to a form of lightweight analysis à la Rose. For secure information flow, we obtain a type system that is considerably more precise than that of Volpano et al., but not more sophisticated. Importantly, our type systems are compositional. 相似文献
2.
M Jensenius P Gerlyng G Hasle G Hopen S Vene AL Bruu 《Canadian Metallurgical Quarterly》1998,118(17):2627-2629
Tick-borne rickettsioses are important zoonoses in many tropical and subtropical areas. There has recently been an increase in the number of reported cases among tourists returning to Scandinavia. In this article we present all five serologically confirmed cases of tick-borne rickettsioses imported into Norway in 1997. The patients were Norwegian tourists who had visited South Africa (three cases), Zimbabwe, and Italy. Four cases had typical eschar and three had maculopapular exanthema. The patients were treated with either doxycycline or ciprofloxacin. No complications were reported. The diagnosis of tick-borne rickettsiosis was confirmed by the detection of specific IgM antibodies to Rickettsia conorii using micro-immunofluorescence in serum samples. 相似文献
3.
4.
With up to 100 million cases annually, dengue fever is today's most important arboviral disease. Dengue fever is endemic in many parts of South-East Asia, the Indian subcontinent, Oceania and the Americas. The disease mainly affects the local population, but occasionally also visitors from non-endemic areas. In this article we present epidemiological and clinical data on all 26 cases with serological confirmed dengue fever diagnosed in Norway in 1991-1996. 21 patients (81%) were infected in Asia. Typical exanthema, leucopenia, and thrombocytopenia were seen in 71%, 79% and 84% of the cases, respectively. A 37-year-old Indian-born woman developed dengue haemorrhagic fever grade 1 after a visit to New Delhi, while the remaining 25 patients had classical dengue fever. Postinfectious complications were common, and four weeks after the acute illness, hair loss, mental depression and asthenia were reported by 45%, 50% and 100% of the cases, respectively. 相似文献
5.
Millions of enterprises run web applications powered by the Java Enterprise Edition platform, but developing them is no small feat. Every UI change in development incurs a wait time of up to 15 min. JRebel is a tool that tackles the challenging problem of live application update for the Java Enterprise Edition platform. It does live code reloading, maps resources directly to the developer workspace, and propagates configuration changes to ensure that the developer can keep instantly alternating between the developing environment and the web browser, to save wasted time and increase the productivity flow. This paper describes our journey to build this product from the initial prototype to a major time saver for tens of thousands of users that it is today. We tried to document the most interesting issues and discoveries we made along the way and hope they will be of value to both the academical and industrial communities. Copyright © 2012 John Wiley & Sons, Ltd. 相似文献
6.
Vocabulary and Block Design subtests of the WAIS and its Puerto Rican counterpart, the Escala de Inteligencia Wechsler para Adultos (EIWA), were compared in a chronic population of 42 hospitalized Latins and Trans-Caribbean Blacks. A matched sample of 12 English and Spanish speakers was administered the WAIS and the EIWA subtests, respectively. A sample of bilingual Latins was administered the EIWA and the WAIS subtests in a systematically counterbalanced order. In both designs, EIWA scores were significantly higher than WAIS scores. The assumption of equivalence of EIWA and WAIS estimates is questioned. (2 ref) (PsycINFO Database Record (c) 2010 APA, all rights reserved) 相似文献
1