On simple programs with primitive conditional statements

DOI10.1016/S0019-9958(85)80019-XMaRDI QIDQ3694665zbMATH OpenOpenAlexFDO

Authors Oscar H. Ibarra, Louis E. Rosier

Publication date 1985

Published in Information and Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0019-9958(85)80019-x

zbMATH Keywords

loop programs

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 3883587
• The equivalence problem and correctness formulas for a simple class of programs
• Simple programming languages and restricted classes of Turing machines
• A note on the complexity of program evaluation
• A note on simple programs with two variables

Cited in

(3)

• A note on simple programs with two variables
• The equivalence problem and correctness formulas for a simple class of programs
• Simple programming languages and restricted classes of Turing machines

This page was built for publication: On simple programs with primitive conditional statements

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3694665)