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 ...
Van Horn, David, Might, Matthew
openaire +2 more sources
2006 WCET Abstracts Collection -- 6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis [PDF]
, 2006 On the 4th of July, 2006, the 6th International Workshop on Worst-Case Execution Time Analysis (WCET\u2706) was held in Dresden, Germany, co-located with the 18th Euromicro International Conference on Real-Time Systems (ECRTS\u2706), both with support of
Abstracts Collection, Mueller, Frank
core +1 more source
Analysis of Abstracts Presented at the Prosthodontic Research Section of IADR General Sessions 2004–2005: Demographics, Publication Rates, and Factors Contributing to Publication [PDF]
, 2011 Purpose: The purposes of this study were to describe the demographics of abstracts presented at the prosthodontics section of IADR General Sessions from 2004 to 2005, evaluate the publication rate of abstracts, and analyze the relationship between ...
Barao, Valentim A. R. +5 more
core +2 more sources
The UK NHS Economic Evaluation Database : Economic issues in evaluations of health technology [PDF]
, 2000 Objective: The U.K. NHS Economic Evaluation Database (EED) project is commissioned to identify papers on economic evaluations of health technologies and to disseminate their findings to NHS decision makers by means of structured abstracts that are ...
Christie, J. +5 more
core +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
, 2003 Contents: Lapsley, H., Nikora, L. W., & Black, R. Stigma and discrimination: Bicultural narratives of recovery from disabling mental health illness. Waitoki, M. Cultural Competency Training in Aotearoa.
Black, Rosanne Marjory +7 more
core +1 more source
Inspiratory muscle training and its effect on indices of physiological and perceived stress during incremental walking exercise in normobaric hypoxia [PDF]
, 2014 This study evaluated the effects of inspiratory muscle training (IMT) on inspiratory muscle fatigue (IMF) and physiological and perceptual responses during trekking-specific exercise. An 8-week IMT program was completed by 21 males (age 32.4 ± 9.61 years,
Bartesaghi, M +8 more
core +1 more source
Behaviour change interventions to influence antimicrobial prescribing: a cross-sectional analysis of reports from UK state-of-the-art scientific conferences [PDF]
, 2017 Background To improve the quality of antimicrobial stewardship (AMS) interventions the application of behavioural sciences supported by multidisciplinary collaboration has been recommended.
Charani, E +6 more
core +2 more sources