Formalization of the semantics of the language Refal

zbMath0645.68020MaRDI QIDQ1103385

A. A. Sharipbaev

Publication date: 1987

Published in: Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

semanticsinference rulesprogramming language Refal

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

This page was built for publication: Formalization of the semantics of the language Refal