scientific article; zbMATH DE number 1406087

zbMath0948.68115MaRDI QIDQ4939102

Nikolaos S. Papaspyrou

Publication date: 23 February 2000

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

zbMATH Keywords

ANSI C programming language

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items

Mechanized semantics for the clight subset of the C language ⋮ Types as graphs: Continuations in type logical grammar