scientific article; zbMATH DE number 4092737

MaRDI QIDQ3819971zbMATH OpenFDO

Authors Florian Mircea Boian

Publication date 1988

zbMATH Keywords

inversionsloop-exit schemesreversible executionTuring machines

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Translator inversion
• scientific article; zbMATH DE number 496063
• scientific article; zbMATH DE number 781240
• scientific article; zbMATH DE number 4043278
• Attribute grammar inversion and source-to-source translation

Cited in

(3)

• Translator inversion
• scientific article; zbMATH DE number 4041240 (Why is no real title available?)
• scientific article; zbMATH DE number 496063 (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 Q3819971)