scientific article; zbMATH DE number 515739

zbMath0788.68018MaRDI QIDQ4283242

James K. Huggins, Yuri Gurevich

Publication date: 2 June 1994

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

operational semanticsevolving algebras\(C\) programming language

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Related Items

Mechanized semantics for the clight subset of the C language, The rewriting logic semantics project: a progress report, Equivalence is in the eye of the beholder, Unnamed Item, Towards proving type safety of .NET CIL, Towards proving type safety of \(\mathrm{C}^{\#}\), Abstract State Machines and the Inquiry Process, The Rewriting Logic Semantics Project: A Progress Report, Engineering the SDL Formal Language Definition