The Semantics of the C Programming Language

Yuri Gurevich; Jim Huggins

doi:10.1007/3-540-56992-8_17

The Semantics of the C Programming Language

Yuri Gurevich
, Jim Huggins

Kettering University

Research output: Contribution to journal › Article › peer-review

Original language	American English
Journal	Computer Science Logic, Selected papers from CSL'92
Volume	702
DOIs	https://doi.org/10.1007/3-540-56992-8_17
State	Published - Jan 1 1993

Disciplines

Computer Engineering

Access to Document

10.1007/3-540-56992-8_17License: Unspecified

Cite this

@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",

}

TY - JOUR

T1 - The Semantics of the C Programming Language

AU - Gurevich, Yuri

AU - Huggins, Jim

N1 - 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.

PY - 1993/1/1

Y1 - 1993/1/1

UR - https://link.springer.com/chapter/10.1007%2F3-540-56992-8_17

U2 - 10.1007/3-540-56992-8_17

DO - 10.1007/3-540-56992-8_17

M3 - Article

VL - 702

JO - Computer Science Logic, Selected papers from CSL'92

JF - Computer Science Logic, Selected papers from CSL'92

ER -

The Semantics of the C Programming Language

Disciplines

Access to Document

Other files and links

Cite this