Metalinear schemes with transfer of constants
From MaRDI portal
Publication:1065538
zbMath0577.68031MaRDI QIDQ1065538
Publication date: 1985
Published in: Programming and Computer Software (Search for Journal in Brave)
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Problems of inclusion and equivalence for program schemata and formal languages, Program schemes with constants, Program equivalence checking by two-tape automata