Formalization of the semantics of the language Refal

zbMATH Open0645.68020MaRDI QIDQ1103385FDOQ1103385

Authors: A. A. Sharipbaev 

Publication date: 1987

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

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

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)

Cited In (5)

• Title not available (Why is that?)
• Title not available (Why is that?)
• A calculus for language transformations
• Syntactic properties of the refal language
• Refinement

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)