论文部分内容阅读
从公理语义的角度，讨论C语言的重要机制─—函数─—的语义。
C语言的公理语义(Ⅱ)──函数
【摘 要】
：
从公理语义的角度，讨论C语言的重要机制─—函数─—的语义。
【出 处】
：
绍兴文理学院学报：哲学社会科学版
【发表日期】
：
1996年6期
其他文献
患者男，18岁。因双眼急性病毒性结膜炎收入院。入院查体：右眼视力1．2，左眼视力1．0，球结膜、睑结膜充血明显。眼底未见异常。给予无环鸟苷眼液滴双眼．约2min后，患者双眼出现视力模糊、
[安公子]（风雨初经社）疑作于乾道三年风雨初经社，子规声里春光谢。最是无情，零落尽蔷薇一架。况我今年，憔悴幽窗下。人尽怪诗酒消声价。向药炉经卷，忘却莺窗柳榭。万事收心也，粉痕犹
如何切实提高内地西藏班素质教学质量，确是值得探讨的现实课题。笔者从多年从事西藏班教学的“实践与思考”中，总结了“强化训练，跨越障碍”、“狠抓双基，改进教法”、“指导学法
船舶行业的发展对从事船舶电气工作的劳动者提出了更高的要求,对其专业英语水平及能力发出了更高的呼声.然而,船舶电气英语在院校的教学与学习过程中存在着一些问题,对船舶电
临床上。甲状腺手术为及时观察喉返神经的损伤与否，术者大多愿意让患者保持意识清醒，采取颈丛阻滞麻醉，但患者易发生心血管反应。为此，我们于2005-06～2005-11对此类患者通过应用硝
本文用本质理想刻划了弱正则环的充要条件，并给出了一个环是Reduced弱正则环的充要条件。
近年来，肺炎支原体（MP）已成为小儿呼吸道感染的重要病原之一，且常引起肺外脏器损害。现将我院2004-05～2006-05收治的36例肺炎支原体肺炎（MPP）合并心肌损害患者临床诊治资料分析总结
目的 探讨肾血管平滑肌脂肪瘤（RAML）经动脉栓塞治疗的应用价值。方法 9例RAML患者，经肾动脉造影后。将导管超选至肿瘤的供血动脉，将平阳霉素-碘化油乳剂注入供血动脉，再将明胶海绵
在军事活动中，军事应激致机体心理、生理和病理性损伤已被确定为部队非战斗减员的主要因素之一。我们以冬季野外模拟战时训练的战士为实验对象，观察在特殊环境状态下战士心理个