scientific article; zbMATH DE number 4039334

MaRDI QIDQ3777486zbMATH OpenFDO

Authors Hongbao Shi, Chang-Le Zhou

Publication date 1987

zbMATH Keywords

equivalenceprogramming languagesdenotational semanticsformal languagegrammarstranslation of high-level languages

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Theory of compilers and interpreters (68N20) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 3481860
• scientific article; zbMATH DE number 3963168
• One approach to the specification and verification of translators
• Machine Translation and Type Theory
• scientific article; zbMATH DE number 605141
• Theories of Programming Languages
• Translations and similarity-based logic programming

Cited in

(4)

• Reasoning about Translation Lookaside Buffers
• scientific article; zbMATH DE number 3885301 (Why is no real title available?)
• High-Level Theories
• scientific article; zbMATH DE number 3938551 (Why is no real title available?)

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