scientific article; zbMATH DE number 1555194

MaRDI QIDQ4525294zbMATH OpenFDO

Authors James K. Huggins, Yuri Gurevich

Publication date 22 January 2001

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• Corrigendum to ``Semantics of a declarative language
• Stack-based typed assembly language
• scientific article; zbMATH DE number 515739
• scientific article; zbMATH DE number 868106
• The oberon system
• scientific article; zbMATH DE number 3849195
• Corrigenda: laws of programming
• Error-tracing axiomatic semantics for C-kernel

Cited in

(1)

• Neutralizing semantic ambiguities of function block architecture by modeling with ASM

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 Q4525294)