中国机械工程学会生产工程分会知识服务平台 | sc.gmachineinfo.com

期刊

ISSN	0167-6423
刊名	Science of Computer Programming
参考译名	计算机程序设计科学
收藏年代	2002～2024

全部

题名	作者	出版年	年卷期
Preface for selected and extended papers from Principles and Practice of Declarative Programming (PPDP'15)	Albert, Elvira	2017	2017, vol.147
Improvements in a call-by-need functional core language: Common subexpression elimination and resource preserving translations	Schmidt-Schauss, Manfred; Sabel, David	2017	2017, vol.147
Static analysis of cloud elasticity	Garcia, Abel; Laneve, Cosimo; Lienhardt, Michael	2017	2017, vol.147
Modeling and solving planning problems in tabled logic programming: Experience from the Cave Diving domain	Bartak, Roman; Chrpa, Lukas; Dovier, Agostino; Vodrazka, Jindrich; Zhou, Neng-Fa	2017	2017, vol.147
Semantics-based generation of verification conditions via program specialization	De Angelis, E.; Fioravanti, F.; Pettorossi, A.; Proietti, M.	2017	2017, vol.147
Concolic testing for functional languages	Giantsios, Aggelos; Papaspyrou, Nikolaos; Sagonas, Konstantinos	2017	2017, vol.147