Formalization of the semantics of the language Refal

MaRDI QIDQ1103385zbMATH OpenFDO

Authors 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)

Recommendations

• Syntactic properties of the refal language
• One method of defining the semantics of programming language constructs in terms of lambda calculus. II
• scientific article; zbMATH DE number 3854393
• A calculus for language transformations
• A calculus of refinements for program derivations

Cited in

(5)

• Syntactic properties of the refal language
• Refinement
• A calculus for language transformations
• scientific article; zbMATH DE number 44613 (Why is no real title available?)
• scientific article; zbMATH DE number 1949638 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1103385)