期刊文献+
共找到10篇文章
< 1 >
每页显示 20 50 100
增量静态语义分析的一个对象模型 被引量:1
1
作者 徐智晨 钱家骅 《软件学报》 EI CSCD 北大核心 1994年第9期30-37,共8页
本文给出了一个对象模型用以描述类PASCAL程序设计语言的静态语义(语义对象,语义依赖).讨论了基于该模型的增量静态语义分析的过程,动作,并发机制与实现手段.在文章的最后部分对模型扩充讨论了在多用户,分布式环境中的增... 本文给出了一个对象模型用以描述类PASCAL程序设计语言的静态语义(语义对象,语义依赖).讨论了基于该模型的增量静态语义分析的过程,动作,并发机制与实现手段.在文章的最后部分对模型扩充讨论了在多用户,分布式环境中的增量语义分析.文中的模型可稍加扩充以适应一般的高级程序设计语言. 展开更多
关键词 增量静态语义 PASCAL语言 对象模型
下载PDF
具有实例学习功能的增量逆句法分析器的设计
2
作者 徐智晨 钱家骅 《计算机工程》 CAS CSCD 北大核心 1993年第3期52-56,共5页
本文介绍了一种具有实例学习功能的增量逆句法分析工具的构造技术.文中采用属性文法描述程序设计语言的排版信息.文中的排版属性和排版风格信息的表示具有很好的语言独立性.特别,排版属性集与属性计值过程还具有产生式独立性.文中的方... 本文介绍了一种具有实例学习功能的增量逆句法分析工具的构造技术.文中采用属性文法描述程序设计语言的排版信息.文中的排版属性和排版风格信息的表示具有很好的语言独立性.特别,排版属性集与属性计值过程还具有产生式独立性.文中的方法可为开发句法制导的编辑工具、混合的编辑工具、程序美观排版工具提供性能优良的逆句法分析程序.特别由于文中排版信息描述与计值过程的语言独立性与产生式独立性使得文中的方法还可以用于构造通用的逆句法分析工具.* 展开更多
关键词 增量逆句法 分析器 混合编辑器
下载PDF
JB-CCD中对库程序处理的实用技术
3
作者 徐智晨 《计算机工程与应用》 CSCD 北大核心 1992年第9期44-46,共3页
JB/CCD是国家“八五”重点科技攻关项目“68-6-1软件工程技术,工具与环境的研究与开发”的子课题“集成化软件工程支撑环境”JB/Sun中的面向C语言的编码与排错工具。在CCD中高效自动地使用C的程序库是将CCD推向实用的一大难点。为进一... JB/CCD是国家“八五”重点科技攻关项目“68-6-1软件工程技术,工具与环境的研究与开发”的子课题“集成化软件工程支撑环境”JB/Sun中的面向C语言的编码与排错工具。在CCD中高效自动地使用C的程序库是将CCD推向实用的一大难点。为进一步巩固“七五”成果,为“八五”CASE的实用化作准备,我们在实用化方面作了大量尝试与工作。本人给出了一种对C函数库处理的高效的方法。该方法对以抽象语法树(AST)为内部机制的编码排错工具的实用化具有普遍意义。 展开更多
关键词 JB-CCD 库程序处理
下载PDF
需求工程的形式化途径 被引量:1
4
作者 钱家骅 吕建国 +5 位作者 洪梅 徐智晨 陈锋 田忠 郭孝洪 刘畅 《计算机科学》 CSCD 北大核心 1992年第6期44-49,共6页
1.引言需求工程是软件工程的初始阶段,其总的目标是从用户的模糊而又不完整的要求生成准确的、完整的规格说明。需求工程的研究主要有形式化途径和非形式化途径。
关键词 需求工程 形式化 软件工程
下载PDF
对结构数据类型变量的监测技术
5
作者 陆奇 徐智晨 钱家骅 《计算机工程与应用》 CSCD 北大核心 1989年第3期16-20,共5页
本文在设计与实現程序设计环境FPE/1中的变量监测功能的基础上,利用窗口复盖与显示技术,提出了对结构化的数据类型,如记录,数组,集合等类型的变量监测方法,使之成为一种有效的排错手段。
关键词 FPE/1 数据类型 变量监测 PASCAL
全文增补中
论政府回应的理论依据、现状以及改进思路 被引量:2
6
作者 徐智晨 《理论界》 2008年第7期31-32,共2页
政府回应通过促进公共理性的互动交流来推进社会善治。本文在简要介绍新公共服务理论和分析政府回应现状的基础上,提出改革中国社会政府回应弊端的思路。
关键词 政府回应 理论依据 现状 改进思路
原文传递
消解公共政策合法性危机的学理分析——基于协商民主视角的窥探
7
作者 徐智晨 陈晨 陆鑫 《理论界》 2010年第11期43-44,共2页
公共政策系统难以适应社会多元化的现实,逐步形成包括政策主体、程序与价值在内的一系列合法性危机。笔者试图借助协商民主理论,从公民精神、对话平台与公民社会三个方面来探索消解公共政策合法性危机的途径。
关键词 协商民主 公共政策 合法性
原文传递
浅析当下中国行政协调的梗阻及其消解
8
作者 徐国磊 徐智晨 管磊 《才智》 2010年第5期283-283,共1页
本文在理解行政协调内涵的基础上,分析当下中国行政协调梗阻表现及其内在成因,试图找到消解行政协调梗阻的途径。
关键词 行政协调 梗阻
原文传递
浅析罗尔斯的公共理性
9
作者 管磊 徐智晨 徐国磊 《才智》 2010年第19期148-148,共1页
本文在探讨公共理性基本内涵与价值功能的基础上,对其培育提出一些简要意见。
关键词 罗尔斯 公共理性
原文传递
CCD:An Integrated C Coding and Debugging Tool
10
作者 金立群 陈锋 +1 位作者 徐智晨 钱家骅 《Journal of Computer Science & Technology》 SCIE EI CSCD 1993年第4期322-328,共7页
CCD is an integrated software tool which is intended to support the coding and debugging for C language. It integrates a hybrid editor,an incremental semantic analyzer,a multi-entry parser,an incremental unpaser and a... CCD is an integrated software tool which is intended to support the coding and debugging for C language. It integrates a hybrid editor,an incremental semantic analyzer,a multi-entry parser,an incremental unpaser and a source-level debugger into a single tool.The integration is realized by sharing common knowledge,among all the components of the system and by task-oriented comhination of the components.Nonlocal attribute grammar is adopted for specifying the common knowledge about the syntax and semantics of C language.The incremental attri bute evaluation is used to implement the semantic analyzer and the unparser to increase system efficiency.CCD keeps the preprocessors and comments most regular to make it practical. 展开更多
关键词 Integrated language based programming environment nonlocal attribute grammar semantic tree incremental attribute evaluation syntax-directed editting semantic analyzing source-level debugging
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部