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

期刊

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

全部

题名	作者	出版年	年卷期
Effect-dependent transformations for concurrent programs	Benton, Nick; Hofmann, Martin; Nigam, Vivek	2018	2018, vol.155
Exploration of language specifications by compilation to first-order logic	Grewe, Sylvia; Erdweg, Sebastian; Pacak, Andre; Raulf, Michael; Mezini, Mira	2018	2018, vol.155
Language-integrated provenance	Fehrenbach, Stefan; Cheney, James	2018	2018, vol.155
Higher-order logic programming: An expressive language for representing qualitative preferences	Charalambidis, Angelos; Rondogiannis, Panos; Troumpoukis, Antonis	2018	2018, vol.155
Rewriting induction for constrained inequalities	Nishida, Naoki; Nagao, Takahiro	2018	2018, vol.155
Preface for SCP special issue on Principles and Practice of Declarative Programming Preface	Vidal, German	2018	2018, vol.155
Typechecking protocols with Mungo and StMungo: A session type toolchain for Java	Kouzapas, Dimitrios; Dardha, Ornela; Perera, Roly; Gay, Simon J.	2018	2018, vol.155
Some trade-offs in reducing the overhead of assertion run-time checks via static analysis	Morales, Jose F.; Hermenegildo, Manuel V.; Stulova, Nataliia	2018	2018, vol.155