【摘 要】
：
主要介绍了实现Gdel语言程序结构和动态执行过程的可视化计算的一些思想,提出并设计了Gdel语言程序的两种类型的可视化.对Gdel语言程序结构和谓词之间关系的可视化,能够便于
论文部分内容阅读
主要介绍了实现Gdel语言程序结构和动态执行过程的可视化计算的一些思想,提出并设计了Gdel语言程序的两种类型的可视化.对Gdel语言程序结构和谓词之间关系的可视化,能够便于用户静态分析Gdel程序;对Gdel语言程序的动态执行过程的可视化,能够使最终用户更好地理解Gdel语言程序的执行机制,调试并查找程序运行过程中可能出现的非预期的错误.
其他文献
我发现人若大部分时间用于独处,将有益身心。与人为伴,即使是挚友,也很快会有厌烦或虚度光阴的感觉。我爱独处,我发现没有比独处更好的伴侣了。出国,身在熙攘人群中,要比退守
凡是经历过九年级的学生大都有这样的感受：一进九年级，书山题海扑面而来，娱乐、玩耍与自己无缘。初中毕业升学素有“小高考”之称，紧张程度可想而知，一科科作业，一摞摞资料，压得学生
电工基础课程是中职学校机电类各专业必修的基础课,其特点是内容概念多,理论性强,概念抽象,涉及的知识面广,难教难学。如何教好这门基础课是广大电工类教师难以回避的问题。
数学学习必须由学生自己建构数学知识的活动,在这一活动过程中,学生与教材及教师产生交互作用,形成了数学知识、技能和能力,发展了情感、态度和思维等方面的品质。21世纪的数
学校是社会的一角,而一个班集体就是一个小社会。一个班集体能否和谐发展取决于诸多因素,其中很重要的一点是同学之间的人际关系是否和睦、融洽。在当代社会生活中,人际关系
中职生的年龄大多在15~19岁,正处于生长发育和增长知识的关键时期。在这一阶段掌握一定的营养知识,形成良好的饮食习惯,对于促进生长发育、保证身体健康有重要的意义。由于中
传统旋风铣削刀具设计方法计算繁杂、重复多、效率低,运用软件检测分析时前期工作量大。针对不同形体、原始参数、工艺信息的旋风铣削加工,建立了通用的旋风铣削刀具设计与分
以前的高中英语课,基本上是teacher-center式的教学,现在大家意识到这种方法的不足,采用了student-center式的教学方法。可是,这期间根本很少牵涉学生德育教育。记得有一句话
纵观中西方建筑发展史,模数设计的手法可谓一大共同特征.在建筑技术飞速发展的今天,通过设计实践,我深刻体会到这种古老的数学游戏依旧具有很强的实用性和以静制动的巨大力量
本文对目前校园网常见的sql注入攻击、上传漏洞、密码泄露典型安全隐患进行分析,给出了利用网络安全测试工具测试校园网安全方法,提高诊断网络安全效率。针对具体网络安全漏洞,给出改进后编程代码,并通过远程方法直接为网络漏洞嵌入补丁。