scientific article
From MaRDI portal
Publication:3875316
zbMath0435.68010MaRDI QIDQ3875316
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
denotational semanticscontinuation schemeblock-structured GOTO language modelingexit semanticsmeta-language semantics
Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)
Related Items (1)
This page was built for publication:
