DOI10.1016/j.scico.2005.02.005zbMath1088.68530OpenAlexW2029674270MaRDI QIDQ2568448
Calvin Lin, Samuel Z. Guyer
Publication date: 10 October 2005 Published in: Science of Computer Programming (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1016/j.scico.2005.02.005
zbMATH Keywords
error checkingerror detectionpointer analysiscontext-sensitiveadaptive analysisflow-sensitive
Mathematics Subject Classification ID
Theory of programming languages (68N15)