scientific article; zbMATH DE number 683362

zbMath0812.68089MaRDI QIDQ4312483

T. B. Dinesh

Publication date: 8 November 1994

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

zbMATH Keywords

static-semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Grammars and rewriting systems (68Q42)

This page was built for publication: