【摘 要】
：
实用的新一代编程语言所应具备的指标之一:多种体裁。本文提出的多体栽语言Lyusia是由泛函、逻辑、集合论、状态转移（蕴含过程、面向法则、谓词/事件网）诸体裁相当自然地交织成
【机 构】
：
电子科技大学,电子科技大学成都,成都
论文部分内容阅读
实用的新一代编程语言所应具备的指标之一:多种体裁。本文提出的多体栽语言Lyusia是由泛函、逻辑、集合论、状态转移（蕴含过程、面向法则、谓词/事件网）诸体裁相当自然地交织成的。横向联系上,它们相互渗透交融;纵向制约上,它们形成单向递昇层次的多阶层结构.在（?）<sub>γω</sub>理论的静态框架内,在自动机观念的动态机制牵引下,形成了Lyusia的多层次语义。文中描述了Lyusia的语法基本部分,并提出了该语言的多层次语义理论体系。
其他文献
高强钢筋在建筑上的推广应用有诸多优势,如节省资源和能源,提高结构安全储备能力等.针对楼盖梁板体系中常见的4种布置形式,选取5个活载水平分别进行计算,分析比较了采用HTRB6
概述了中国水泥工业的发展现状以及节能减排与低碳经济的关系，阐述了影响CO2排放的因素及减排措施，对水泥工业的绿色发展进行了探讨。
日前．吉林省政府发布有关食品工业发展的文件．其中提出要把吉林省建成世界级玉米深加工基地的目标。按照这一目标要求．吉林省将把发展以玉米为原料的食品添加剂产业作为食品工业
概述了盾构施工技术的发展与应用,分析了盾构技术的发展趋势。
葡萄糖酸（GA）是由葡萄糖在葡萄糖酸菌不完全氧化下产生的，当饲喂单胃动物时，GA很难在小肠内吸收，而主要在肠后段发酵成丁酸。本试验研究了GA对断奶仔猪生产性能、肠道微生物和肠壁
结合施工实践，介绍了加气混凝土砌块墙体抹灰裂缝产生的原因，提出了抹灰裂缝的控制措施。
11月8日，大连商品交易所和大马交易所主办的第三届国际油脂油料大会在广州召开。来自中外政府部门、行业组织、国内外期货机构、国内外油脂油料界及新闻媒体单位代表700多人参
为分解落实《政府工作报告》确定的2014年淘汰落后产能任务，按照《国务院关于进一步加强淘汰落后产能工作的通知》和《国务院关于化解产能严重过剩矛盾的指导意见》部署，经淘汰
3月26日消息．联合国粮食及农业组织根据对泰国和越南H5N1型高致病性禽流感流行情况的研究，