函数-规约混合语言的设计和实现
基本信息
批准号：69683001
项目类别：专项基金项目
资助金额：14.00
负责人：孙永强
学科分类：
依托单位：上海交通大学
批准年份：1996
结题年份：1999
起止时间：1997-01-01 - 1999-12-31
项目状态： 已结题
项目参与者：孙永强,林凯,陆朝俊,沈理,邵志清
关键词：
重写系统混合语言规范化技术
结项摘要
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
EBPR工艺运行效果的主要影响因素及研究现状
EBPR工艺运行效果的主要影响因素及研究现状
DOI：10.16796/j.cnki.1000-3770.2022.03.003
发表时间：2022
2
复杂系统科学研究进展
复杂系统科学研究进展
DOI：10.12202/j.0476-0301.2022178
发表时间：2022
3
基于LS-SVM香梨可溶性糖的近红外光谱快速检测
基于LS-SVM香梨可溶性糖的近红外光谱快速检测
DOI：
发表时间：
4
二维FM系统的同时故障检测与控制
二维FM系统的同时故障检测与控制
DOI：10.16383/j.aas.c180673
发表时间：2021
5
混凝土SHPB试验技术研究进展
混凝土SHPB试验技术研究进展
DOI：10.3969/j.issn.1002-3550.2015.06.010
发表时间：2015
孙永强的其他基金
批准号：69073326
批准年份：1990
资助金额：3.00
项目类别：面上项目
批准号：68676015
批准年份：1986
资助金额：2.50
项目类别：面上项目
批准号：69373021
批准年份：1993
资助金额：6.00
项目类别：面上项目
批准号：68783001
批准年份：1987
资助金额：5.00
项目类别：专项基金项目
批准号：69783001
批准年份：1997
资助金额：12.00
项目类别：专项基金项目
批准号：69183304
批准年份：1991
资助金额：4.50
项目类别：专项基金项目
批准号：69473021
批准年份：1994
资助金额：7.00
项目类别：面上项目
批准号：71201118
批准年份：2012
资助金额：19.00
项目类别：青年科学基金项目
批准号：60073033
批准年份：2000
资助金额：15.00
项目类别：面上项目
相似国自然基金
1
函数语言的并行实现技术研究
批准号：69373021
批准年份：1993
负责人：孙永强
学科分类：F0203
资助金额：6.00
项目类别：面上项目
2
基于自然语言理解和深度学习的类库规约的自动生成研究
批准号：61802166
批准年份：2018
负责人：翟娟
学科分类：F0203
资助金额：27.00
项目类别：青年科学基金项目
3
基于规约语言的领域软件形式化程度度量方法研究
批准号：61472160
批准年份：2014
负责人：包铁
学科分类：F0203
资助金额：80.00
项目类别：面上项目
4
约束数据库的模式设计、查询语言和实现技术
批准号：69773012
批准年份：1997
负责人：施伯乐
学科分类：F0202
资助金额：12.00
项目类别：面上项目