@article{3b79d93fc7764f5b906cb0cfe329af5a,
title = "The Semantics of the C Programming Language",
author = "Yuri Gurevich and Jim Huggins",
note = "Part of the Lecture Notes in Computer Science book series (LNCS, volume 702) Memory Location Transition Rule Jump Statement Switch Statement Task Graph These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.",
year = "1993",
month = jan,
day = "1",
doi = "10.1007/3-540-56992-8\_17",
language = "American English",
volume = "702",
journal = "Computer Science Logic, Selected papers from CSL'92",
}