期刊


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

题名作者出版年年卷期
A novel analysis space for pointer analysis and its application for bug findingMarcio Buss; Daniel Brand; Vugranam Sreedhar; Stephen A. Edwards20102010, vol.75, no.11
The IELR(1) algorithm for generating minimal LR(1) parser tables for non-LR(1) grammars with conflict resolutionJoel E. Denny; Brian A. Malloy20102010, vol.75, no.11
Defining the meaning of tabular mathematical expressionsYing Jin; David Lorge Parnas20102010, vol.75, no.11
Improving Web Service descriptions for effective service discoveryJuan Manuel Rodriguez; Marco Crasso; Alejandro Zunino; Marcelo Campo20102010, vol.75, no.11
An algebraic foundation for automatic feature-based program synthesisSven Apel; Christian Lengauer; Bernhard Moller; Christian Kastner20102010, vol.75, no.11
Type-directed weaving of aspects for polymorphically typed functional languagesKung Chen; Shu-Chun Weng; Meng Wang; Siau-Cheng Khoo; Chung-Hsin Chen20102010, vol.75, no.11
Compact and efficient strings for JavaChristian Haubl; Christian Wimmer; Hanspeter Mossenbock20102010, vol.75, no.11
A new taxonomy of sublinear right-to-left scanning keyword pattern matching algorithmsLoek Cleophas; Bruce W. Watson; Gerard Zwaan20102010, vol.75, no.11
Mining early aspects based on syntactical and dependency analysesJose M. Conejero; Juan Hernandez; Elena Jurado; Klaas van den Berg20102010, vol.75, no.11
Simple section interchange and properties of non-computable functionsWard Douglas Maurer20102010, vol.75, no.11
12



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