𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The problem of the existence of a complete axiomatic semantics for programs that do not allow side effects

✍ Scribed by I.A. Lomazova

Publisher
Elsevier Science
Year
1987
Weight
452 KB
Volume
27
Category
Article
ISSN
0041-5553

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Renal insufficiency and anemia are indep
Renal insufficiency and anemia are independent risk factors for death among patients with acute myocardial infarction1,21As published material, the contents of this manuscript may not be cited, quoted, reproduced or published without the consent of the authors.2The analyses upon which this publication is based were performed under Contract Number 500-96-P704, entitled “Operation Utilization and Quality Control Peer Review Organization (PRO) for the State of Georgia” and sponsored by the Centers for Medicare and Medicaid Services (CMS), Department of Health and Human Services. The conclusions and opinions expressed, and methods used herein are those of the authors. They do not necessarily reflect CMS policy. The authors assume full responsibility for the accuracy and completeness of the ideas presented. This article is a direct result of the Health Care Quality Improvement Program initiated by CMS, which has encouraged identification of quality improvement projects derived from analysis of patterns of care, and therefore required no special funding on the part of this Contractor. Ideas and contributions to the authors concerning experience in engaging with issues presented are welcomed.
✍ Langston, Robert D.; Presley, Rodney; Flanders, W. Dana; Mcclellan, William M. 📂 Article 📅 2003 🏛 Nature Publishing Group 🌐 English ⚖ 373 KB