scientific article; zbMATH DE number 868106

zbMath0852.68013MaRDI QIDQ4873990

Charles Wallace

Publication date: 26 November 1996

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

zbMATH Keywords

C++ programming language

Mathematics Subject Classification ID

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

Related Items (2)

Towards proving type safety of .NET CIL ⋮ Towards proving type safety of \(\mathrm{C}^{\#}\)

This page was built for publication: