scientific article; zbMATH DE number 3789816

MaRDI QIDQ3967042zbMATH OpenFDO

Authors Paweł Urzyczyn

Publication date 1982

zbMATH Keywords

flow-chart with one stackrecursive program schemaunwind property

Mathematics Subject Classification ID

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

Cited in

(1)

• The unwind property for programs with bounded memory

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