Results 11 to 20 of about 3,757,577 (228)
Abstracting abstract machines [PDF]
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming, 2010 We describe a derivational approach to abstract interpretation that yields novel and transparently sound static analyses when applied to well-established abstract machines. To demonstrate the technique and support our claim, we transform the CEK machine of Felleisen and Friedman, a lazy variant of Krivine's machine, and the stack-inspecting CM machine ...
David Van Horn, Matthew Might
openaire +2 more sources
Abstract clones for abstract syntax
CoRR, 2021 To appear in the proceedings of FSCD 2021; 16 ...
Nathanael Arkor, Dylan McDermott
openaire +4 more sources
Systematic abstraction of abstract machines [PDF]
Journal of Functional Programming, 2012 Abstract We describe a derivational approach to abstract interpretation that yields novel and transparently sound static analyses when applied to well-established abstract machines for higher-order and imperative programming languages.
David Van Horn, Matthew Might
openaire +3 more sources
Corynebacterium diphtheria, Adhesion, Type and Biofilm Cultures
Эпидемиология и вакцинопрофилактика, 2019 Relevance. It is now known that toxigenic strains of Corynebacterium diphtheriae are capable not only of adhesion, but also of invasion into epithelial cells of the upper respiratory tract.
G. G. Kharseeva +4 more
doaj +1 more source
Some physiological parameters of the liver and the kidney as indicators to the textile workers health in Egypt. [PDF]
Egyptian Journal of Nutrition, 2021 . - Present study is a part of the project conducted by National Nutrition Institute to evaluate the pollution effect on the health of occupationally exposed workers in some industries in Egypt.
Hewaida, A.E . Fadel
doaj +1 more source
Persistent Memory: Abstractions, Abstractions, and Abstractions [PDF]
IEEE Micro, 2019 Nonvolatile memory technologies have matured to the extent that commercial DIMM memory products are available today, for example Intel Optane DC Persistent Memory. Compared to DRAM, they provide higher density, better scaling potential, lower cost per bit, and are nonvolatile.
openaire +1 more source
Abstracts, abstracts, abstracts
Jon Stark making it all possible, 2020 Ce label assurera de trouver au minimum dans toutes les maisons ces services et une qualité d’accueil identique. En plus des services obligatoires, certains points France Services pourront proposer des services des collectivités territoriales ou d’autres partenaires (SNCF, banques), en fonction des besoins locaux.
openaire +1 more source
Experimental study of embryo differentiation in angiosperms
Acta Societatis Botanicorum Poloniae, 2014 By comparison of peony and lotus embryos in in vitro culture we established differences in their morphogenetic potential. We traced in peony embryo culture: embryogenesis, embryoidogenesis, organogenesis and histogenesis, whereas the lotus embryo ...
T. B. Batygina, V. E. Vasilyeva
doaj +1 more source
Journal of Agrometeorology, 2009 Investigations on population dynamics against thrips on castor was carried out during the year 2002-03 and 2003-04 at Main Oilseeds Research Station, Junagadh Agricultural University, Junagadh.
P. V. PATEL +3 more
doaj +1 more source