scientific article; zbMATH DE number 4039334

zbMATH Open0637.68092MaRDI QIDQ3777486FDOQ3777486

Authors: Hongbao Shi, Chang-Le Zhou 

Publication date: 1987

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

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

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)

Cited In (4)

• High-Level Theories
• Title not available (Why is that?)
• Reasoning about Translation Lookaside Buffers
• Title not available (Why is that?)

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)