scientific article; zbMATH DE number 4041240

MaRDI QIDQ3779722zbMATH OpenFDO

Authors Florian Mircea Boian

Publication date 1987

zbMATH Keywords

context-free grammarloop-exit schemereversible execution

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3995021
• Reversible Flowchart Languages and the Structured Reversible Program Theorem
• scientific article; zbMATH DE number 4092737
• Fundamentals of reversible flowchart languages
• Linear programs in a simple reversible language.

Cited in

(1)

• scientific article; zbMATH DE number 3995021 (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 Q3779722)