摘要：斑小昭告诉我一个小秘密:她看到了一个会噘嘴巴的小树。奇怪,小树都没有嘴巴,它是怎么噘的呢?小昭,你带着我一起去找噘嘴小树吧!

摘要：程序设计语言本身的安全性在高安全需求软件的设计和实现中起着基础作用.该文在用于系统级编程的安全语言的设计和性质证明方面,做了有益的尝试.作者设计了一个类C的命令式语言PointerC,其主要特点在于其类型系统中包含显式的副条件(side conditions),这些副条件本质上是约束程序语法表达式值的逻辑公式.该文证明了PointerC语言的安全性定理,即满足这些副条件的程序,在执行时不会违反语言的安全策略.为静态推理副条件中涉及指针的命题,作者已经提出了一种指针逻辑(pointer logic),文中证明了指针逻辑对操作语义是可靠的.

摘要：中学音乐课堂教学是逐步由小学的教唱歌曲向提高学生的音乐鉴赏能力和创造能力转变的过程。音乐作为一门极富创造性的艺术,其创造性始终是在中学音乐课堂实践中要考虑的问题。在此,结合中学音乐课堂实践,讨论如何基于学情提高学生的即兴创编能力。一、教学观念的更新是提高即兴创编能力的关键匈牙利著名音乐教育家柯达伊说:“优秀的音乐教师要比谁是歌剧院的指挥重要得多。