期刊


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

2005, vol.54, no.1 2005, vol.54, no.2-3 2005, vol.55, no.1-3 2005, vol.56, no.1-2 2005, vol.56, no.3 2005, vol.57, no.1
2005, vol.57, no.2 2005, vol.57, no.3 2005, vol.58, no.1-2 2005, vol.58, no.3

题名作者出版年年卷期
Computer-assisted verification of a protocol for certified emailMartin Abadi; Bruno Blanchet20052005, vol.58, no.1-2
Precise widening operators for convex polyhedraRoberto Bagnara; Patricia M. Hill; Elisa Ricci; Enea Zaffanella20052005, vol.58, no.1-2
Typestate verification: Abstraction techniques and complexity resultsJ. Field; D. Goyal; G. Ramalingam; E. Yahav20052005, vol.58, no.1-2
Error checking with client-driven pointer analysisSamuel Z. Guyer; Calvin Lin20052005, vol.58, no.1-2
Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)Manuel V. Hermenegildo; German Puebla; Francisco Bueno; Pedro Lopez-Garcia20052005, vol.58, no.1-2
Static insertion of safe and effective memory reuse commands into ML-like programsOukseh Lee; Hongseok Yang; Kwangkeun Yi20052005, vol.58, no.1-2
Abstract interpretation of programs as Markov decision processesDavid Monniaux20052005, vol.58, no.1-2
Weighted pushdown systems and their application to interprocedural dataflow analysisThomas Reps; Stefan Schwoon; Somesh Jha; David Melski20052005, vol.58, no.1-2
Establishing local temporal heap safety properties with applications to compile-time memory managementRan Shaham; Eran Yahav; Elliot K. Kolodner; Mooly Sagiv20052005, vol.58, no.1-2