Results 11 to 20 of about 3,608,607 (227)
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
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
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
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
Revolutions as disasters of misconceived political projects of social mutations
Filozofia Publiczna i Edukacja Demokratyczna, 2022 The study reviews the book You say you want a revolution? Radical idealism and its tragic consequences by D. Chirot (Princeton, Princeton University Press, 2020) and, at the same time, advances a viewpoint on social revolutions based on Thoreau’s im ...
Cătălin Mamali Abstract:
doaj +1 more source
Эпидемиология и вакцинопрофилактика, 2017 The high prevalence of chronic bronchitis (CB) among young people, and significant pharmaco-economic costs of health care for treatment of this disease actualizes the search for new solutions for the prevention of exacerbations.
G. L. Ignatova +2 more
doaj +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Pediatric gastroenteropancreatic neuroendocrine neoplasms (GEP‐NENs) are extremely rare and clinically heterogeneous. Management has largely been extrapolated from adult practice. This European Standard Clinical Practice Guideline (ESCP), developed by the EXPeRT network in collaboration with adult NEN experts, provides (adult) evidence ...
Michaela Kuhlen +23 more
wiley +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Oral mucositis is a common and debilitating side effect of childhood cancer and stem cell transplant treatments. It affects the quality of life of children and young people (CYP) and places a strain on services. Photobiomodulation is recommended for oral mucositis prevention in international guidance but is poorly implemented in UK ...
Claudia Heggie +4 more
wiley +1 more source