scientific article; zbMATH DE number 4052983

zbMATH Open0645.68017MaRDI QIDQ3789043FDOQ3789043

Authors: Tudor Jebelean 

Publication date: 1987

Title of this publication is not available (Why is that?)

zbMATH Keywords

homogeneous algebrascompilingassignment statementsmodel of semantics

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theories (e.g., algebraic theories), structure, and semantics (18C10) Semantics in the theory of computing (68Q55)

Cited In (3)

• The essence of compiling with traces
• Title not available (Why is that?)
• Towards a theory of semantics and compilers for programming languages

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3789043)