###
Journal of Software:2017.28(4):745-746

程序设计语言与系统前沿专题前言
冯新宇,陈海波
(中国科学技术大学 计算机科学与技术学院, 安徽 合肥 230027;中国科学技术大学 苏州研究院, 江苏 苏州 215123;上海交通大学 软件学院, 上海 200240)
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 1710   Download 1347
Received:January 21, 2017    
> 中文摘要: 程序设计语言和系统是计算机领域的奠基性学科之一.近年来随着计算机系统的广泛应用,本领域的研究形成一波新的高潮,其中新的研究热点包括面向大数据、云计算、移动计算、软件定义网络、机器人等特定领域的领域专用程序设计语言和系统、基于程序设计语言的安全理论和技术、多核和众核下的并行程序设计语言和系统、程序分析和验证等. 为及时反映我国在程序设计语言和系统方面的研究进展,“程序设计语言和系统”专题围绕上述新兴热点问题,同时也兼顾经典问题的最新突破,征集本领域近期取得的原创性研究成果,以期促进本领域的发展.专题的征文范围包括(但并不限于)面向特定领域(大数据、云计算、移动计算、软件定义网络、机器人等)的领域专用语言和系统,基于程序设计语言的安全理论和技术,多核和众核下的并发和并行程序设计语言和系统,程序测试、分析和验证技术,编译器、解释器和抽象机,程序开发工具和环境,函数式、逻辑式、概率、量子等程序设计语言,以及程序语义、程序逻辑、类型论等程序设计语言理论.
中文关键词:
Abstract:
keywords:
文章编号:     中图分类号:    文献标志码:
基金项目:
Foundation items:
Reference text:

冯新宇,陈海波.程序设计语言与系统前沿专题前言.软件学报,2017,28(4):745-746

..Journal of Software,2017,28(4):745-746