中国机械工程学会生产工程分会知识服务平台

期刊


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



全部

2002 2003 2004 2005 2006 2007
2008 2009 2010 2011 2012 2013
2014 2015 2016 2017 2018 2019
2020 2021 2022 2023 2024

2010, vol.75, no.1/2 2010, vol.75, no.10 2010, vol.75, no.11 2010, vol.75, no.12 2010, vol.75, no.3 2010, vol.75, no.4
2010, vol.75, no.5 2010, vol.75, no.6 2010, vol.75, no.7 2010, vol.75, no.8 2010, vol.75, no.9

题名作者出版年年卷期
Pentagons: A weakly relational abstract domain for the efficient validation of array accessesFrancesco Logozzo; Manuel Fahndrich20102010, vol.75, no.9
Integrating coercion with subtyping and multiple dispatchJ. J. Hallett; Victor Luchangco; Sukyoung Ryu; Guy L. Steele, Jr.20102010, vol.75, no.9
Dynamic algorithm selection for runtime conceptsPeter Pirkelbauer; Sean Parent; Mat Marcus; Bjarne Stroustrup20102010, vol.75, no.9
C++ lambda expressions and closuresJaakko Jarvi; John Freeman20102010, vol.75, no.9
Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPNManuel Noguera; Maria V. Hurtado; Maria Luisa Rodriguez; Lawrence Chung; Jose Luis Garrido20102010, vol.75, no.8
Aspect-oriented model-driven skeleton code generation: A graph-based transformation approachJeannette Bennett; Kendra Cooper; Lirong Dai20102010, vol.75, no.8
Experience of building an architecture-based generator using GenVoca for distributed systemsChung-Horng Lung; Pragash Rajeswaran; Sathyanarayanan Sivadas; Theleepan Sivabalasingam20102010, vol.75, no.8
Design and evaluation of C++ open multi-methodsPeter Pirkelbauer; Yuriy Solodkyy; Bjarne Stroustrup20102010, vol.75, no.7
A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architecturesGeorg Jung; John Hatcliff20102010, vol.75, no.7
Programming with C++ conceptsJaakko Jarvi; Mat Marcus; Jacob N. Smith20102010, vol.75, no.7
123456



国家科技图书文献中心  全球文献资源网  京ICP备05055788号-26  京公网安备11010202008970号  机械工业信息研究院 2018-2024