Some open questions in the theory of program schemes and dynamic logics

DOI10.1070/RM1989v044n01ABEH002007zbMath0678.68007OpenAlexW1997113833MaRDI QIDQ3835003

No author found.

Publication date: 1989

Published in: Russian Mathematical Surveys (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1070/rm1989v044n01abeh002007

zbMATH Keywords

dynamic logicprogram transformationprogram verificationprogram schemes

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (4)

An infinite pebble game and applications ⋮ Program schemata technique for propositional program logics: a 30-year history ⋮ On the expressive power of finitely typed and universally polymorphic recursive procedures ⋮ Counter machines

This page was built for publication: Some open questions in the theory of program schemes and dynamic logics