scientific article; zbMATH DE number 515739

From MaRDI portal

Revision as of 18:25, 6 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4283242

Jump to:navigation, search

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 semantics evolving algebras \(C\) programming language

Mathematics Subject Classification ID

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

Related Items (9)

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

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4283242&oldid=18206272"