منابع مشابه
Unbounded Allocation in Bounded Heaps
In this paper we introduce a new symbolic semantics for a class of recursive programs which feature dynamic creation and unbounded allocation of objects. We use a symbolic representation of the program state in terms of equations to model the semantics of a program as a pushdown system with a finite set of control states and a finite stack alphabet. Our main technical result is a rigorous proof...
متن کاملThe Point of Pointless Topology
Introduction. A celebrated reviewer once described a certain paper (in a phrase which never actually saw publication in Mathematical Reviews) as being concerned with the study of "valueless measures on pointless spaces". This article contains nothing about measures, valueless or otherwise; but I hope that by giving a historical survey of the subject known as "pointless topology" (i.e. the study...
متن کاملIs it safe for Multiple Sclerosis patients to fast?
Ramadan fasting predispose multiple sclerosis (MS) patients to a great challenge. Clinicians should have practical knowledge about the effects of fasting on MS. A mini-symposium was held in 2013 to answer the common questions about fasting in MS patients. In current review we present a summary of the mentioned mini-symposium.Generally, fasting is possible for most stable MS patients. Thorough m...
متن کاملI-4: Is It Time Now to Cancel Fresh EmbryoTransfer
The implantation of embryo depends on the quality of the embryo and the receptivity of the endometrium. While the factors affecting embryo quality were optimized, the implantation rates did not reach the desirable levels. This directs the blaming for endometrial receptivity which already has been affected by supra-physiological levels of hormone, namely estradiol, in controlled ovarian hypersti...
متن کاملWriting qualitative article: It is time to quality improvement
Précis: This debate article highlights some questions from critics of qualitative research. Planning for proper design, philosophical background, researcher as a research instrument in the study, trustworthiness and application of findings are main debates in this field. One of the issues that have been received little attention is report of qualitative inquiry. A qualified report can an...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2015
ISSN: 0167-6423
DOI: 10.1016/j.scico.2015.06.007