RUS  ENG
Full version
JOURNALS // Itogi Nauki i Tekhniki. Seriya "Teoriya Veroyatnostei. Matematicheskaya Statistika. Teoreticheskaya Kibernetika" // Archive
Itogi Nauki i Tekhniki. Ser. Teor. Veroyatn. Mat. Stat. Teor. Kibern., 1983 Volume 20, Pages 95–166 (Mi intv55)
Semantics of algorithmic languages

N. N. Nepeivoda


Abstract: This is a survey of methods of formalizing semantics of programming languages (algorithmic languages and specification languages). Principal attention is devoted to the logical approach.

UDC: 519.765:591.682+519.766.2+519.767


 English version: Journal of Soviet Mathematics, 1984, 25:6, 1558–1606

Bibliographic databases:

© Steklov Math. Inst. of RAS, 2024