程序设计的艺术、科学与工程,第4卷
2020年第4卷第1期
比阿特丽斯Åkerblom , 埃利亚斯·卡斯特格林 , 托比亚斯·箭牌 :
安全并行数组编程的参考功能。 1
2020年第2期第4卷
李洪基 , 昌河公园 , 苏京琉 :
在JavaScript静态分析中自动跟踪不精确原因。 2 埃兹拉·齐格蒙德 , 斯蒂芬·庄(Stephen Chong) , 克里斯托斯·迪穆拉斯 , 斯科特摩尔 :
用于数据库支持应用程序的细粒度、基于语言的访问控制。 三
2020年第3期第4卷
格雷格·迈克尔森 :
编程范式、图灵完备性和计算思维。 4 史蒂文·科斯蒂奥 , 文森特·阿拉内加 , 马库斯·丹克 :
子方法,具有反射性的部分行为反射:回顾10年的使用。 5 鲍勃·雷恩德斯 , 弗兰克·皮森斯 , 多米尼克·德弗里斯 :
Gavial:使用多层FRP对网络进行编程。 6 Satoshi Egi先生 , 西崎裕一 :
面向模式匹配编程风格的函数式编程。 7 托马斯·彼得里切克 :
实时数据探索环境的基础。 8 中村俊一 , Shigeru千叶 :
在Java中生成通用Fluent API。 9 乔·科斯塔·塞科 , 保罗·费雷拉 , 雨果·卢伦索 , 卡拉·费雷拉 , 卢西奥·费朗 :
TypeSafe微服务体系结构中的稳健合同演化。 10 毛里西奥·维拉诺·梅里诺 , 尤尔根·J·文朱 , 蒂杰斯·范德·斯托姆 :
巴卡塔:DSL笔记本,几乎免费。 11 托尼·马蒂斯 , 罗伯特·赫施菲尔德 :
针对即时反馈的轻量级词汇测试优先级。 12 吉恩·库珀曼 , 马丁·昆森 :
多线程程序的In-Vivo模型检查。 13 丹尼尔·斯派克 :
JHotDraw尊重好风格法则吗 深入探究错误代码气味的误报本质。 14 约翰内斯·梅伊 , 托马斯·库恩 , 雷内·舍内 , 乌韦·阿斯曼 :
使用引用属性语法跨不同领域特定语言重用静态分析。 15 杰夫·斯密茨 , 加布里埃尔·D·P·科纳 , 埃尔科·维瑟 :
使用内部构建系统构建用于跨模块扩展的混合增量编译器。 16 帕斯卡·魏森伯格 , 吉多·萨尔瓦内斯基 :
为分布式系统实现一种语言:Scala中类型级和宏编程的选择和经验。 17
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)