Soundness of Data Flow Analyses for Weak Memory Models⋆ Jade Alglave, Daniel Kroening, John Lugton, Vincent Nimal, and Michael Tautschnig Department of Computer Science, University of Oxford, UK

Source URL: www0.cs.ucl.ac.uk

• Abstract interpretation
• Models of computation
• Parallel computing
• Petri net
• Software engineering
• Computing

Soundness of Data Flow Analyses for Weak Memory Models⋆ Jade Alglave, Daniel Kroening, John Lugton, Vincent Nimal, and Michael Tautschnig Department of Computer Science, University of Oxford, UK

Source URL: www0.cs.ucl.ac.uk

BOOK REVIEWS Palliative Care: The Nursing Role (2nd edition) J Lugton and R McIntyre (eds) Churchill Livingston[removed]ISBN: [removed]

Source URL: www.cancerforum.org.au

• Healthcare in the United Kingdom
• Palliative care
• Nursing
• Oncology
• Palliative medicine
• Evidence-based practice
• Diane E. Meier
• Liverpool Care Pathway for the dying patient
• Medicine
• Health
• Hospice

BOOK REVIEWS Communicating with dying people and their relatives J Lugton Ausmed[removed]ISBN: [removed]

Source URL: www.cancerforum.org.au

• Hospice
• Palliative care
• Terminal illness
• Nursing
• Liverpool Care Pathway for the dying patient
• Medicine
• Palliative medicine
• Health

N E W S A N D T I P S F R O M T H E S T . L O U I S C O U N TY L I B R A R Y S P E C I A L C O L L E C T I O N S D E P A R T M E N T VOL. 6, NO. 10—OCTOBER 2013 FOR THE RECORDS vacation your great-great-grandparents t

Source URL: www.slcl.org

• Geography of the United States
• St. Louis Post-Dispatch
• St. Louis
• Missouri
• Forest Park
• Lugton
• St. Louis County
• Missouri
• St. Louis County Library
• Washington University in St. Louis
• St. Louis Globe-Democrat
• Greater St. Louis
• Geography of Missouri
• Missouri