期刊


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

2024, vol.232 2024, vol.233 2024, vol.234 2024, vol.235 2024, vol.236 2024, vol.237

题名作者出版年年卷期
A method to identify overfitting program repair patches based on expression treeDong Y.; Cheng X.; Yang Y.; Zhang L.; Wang S.; Kong L.20242024, vol.235
Diagnosis of package installation incompatibility via knowledge baseCao Y.; Chen Z.; Zhang X.; Li Y.; Chen L.; Wang L.20242024, vol.235
Exploratory study on the syntactic and semantic consistency of terms in project management glossaries to provide recommendations for a project management ontologyBecker P.; Papa M.F.; Olsina L.20242024, vol.235
A model-checker exploiting structural reductions even with stutter sensitive LTL[Formula presented]Thierry-Mieg Y.; Paviot-Adet E.; Poitrenaud D.; Renault E.20242024, vol.235
Preface for the special issue on tool papers of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022Damiani F.; Eyers D.; Philippou A.20242024, vol.235
“Will I be replaced?” Assessing ChatGPT's effect on software development and programmer perceptions of AI toolsKuhail M.A.; Mathew S.S.; Khalil A.; Berengueres J.; Shah S.J.H.20242024, vol.235
Narrowing and heuristic search for symbolic reachability analysis of concurrent object-oriented systemsBae K.; Kang B.20242024, vol.235
Neighborhood contrastive learning-based graph neural network for bug triagingDong H.; Ren H.; Shi J.; Xie Y.; Hu X.20242024, vol.235
Sibilla: A tool for reasoning about collective systemsDel Giudice N.; Matteucci L.; Quadrini M.; Rehman A.; Loreti M.20242024, vol.235



制造业外文文献服务平台