Program schemata technique for propositional program logics: A 30-year history


Citar

Texto integral

Acesso aberto Acesso aberto
Acesso é fechado Acesso está concedido
Acesso é fechado Somente assinantes

Resumo

A survey is presented of the so-called program schemata technique for proving the decidability of propositional program logics. This method is based on the reduction to versions of the problem of relative totality for nondeterministic Yanov schemata.

Sobre autores

N. Shilov

Ershov Institute of Informatics Systems

Autor responsável pela correspondência
Email: shilov@iis.nsk.su
Rússia, pr. Akademika Lavrent’eva 6, Novosibirsk

S. Shilova

Ershov Institute of Informatics Systems

Email: shilov@iis.nsk.su
Rússia, pr. Akademika Lavrent’eva 6, Novosibirsk

A. Bernshtein

Novosibirsk State University

Email: shilov@iis.nsk.su
Rússia, ul. Pirogova 2, Novosibirsk

Arquivos suplementares

Arquivos suplementares
Ação
1. JATS XML

Declaração de direitos autorais © Pleiades Publishing, Ltd., 2016