| 程序设计语言与系统前沿专题前言 |
| |
| 引用本文： | 冯新宇,陈海波.程序设计语言与系统前沿专题前言[J].软件学报,2017,28(4):745-746. |
| |
| 作者姓名： | 冯新宇 陈海波 |
| |
| 作者单位： | 中国科学技术大学计算机科学与技术学院, 合肥 安徽 230027;中国科学技术大学苏州研究院, 苏州 江苏 215123,上海交通大学软件学院, 上海 200240 |
| |
| 摘 要： | 程序设计语言和系统是计算机领域的奠基性学科之一.近年来随着计算机系统的广泛应用,本领域的研究形成一波新的高潮,其中新的研究热点包括面向大数据、云计算、移动计算、软件定义网络、机器人等特定领域的领域专用程序设计语言和系统、基于程序设计语言的安全理论和技术、多核和众核下的并行程序设计语言和系统、程序分析和验证等.
为及时反映我国在程序设计语言和系统方面的研究进展,“程序设计语言和系统”专题围绕上述新兴热点问题,同时也兼顾经典问题的最新突破,征集本领域近期取得的原创性研究成果,以期促进本领域的发展.专题的征文范围包括（但并不限于）面向特定领域（大数据、云计算、移动计算、软件定义网络、机器人等）的领域专用语言和系统,基于程序设计语言的安全理论和技术,多核和众核下的并发和并行程序设计语言和系统,程序测试、分析和验证技术,编译器、解释器和抽象机,程序开发工具和环境,函数式、逻辑式、概率、量子等程序设计语言,以及程序语义、程序逻辑、类型论等程序设计语言理论.
|
| 收稿时间： | 2017/1/21 0:00:00 |
|
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
