Semantics of a declarative language
type: Item
instance of: scholarly article
title: Semantics of a declarative language
zbMATH Open document ID: 0607.68006
DOI: 10.1016/0020-0190(86)90115-8
published in: Information Processing Letters
publication date: 1986-01-01T00:00:00Z
review text: The aim of this paper is to give a precise representation of semantics of a simple language. The formal means needed for that purpose are also simple: a restricted form of the intuitionistic propositional calculus. Nevertheless, the meaning of the semantics can be understood better if a realisation of intuitionistic formulae is considered.
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68N01
zbMATH DE Number: 3982490
zbMATH Keywords: data semantics
zbMATH Keywords: program synthesis
zbMATH Keywords: logic programming
zbMATH Keywords: intuitionistic propositional calculus
author: G. E. Mints
author: É. Kh. Tyugu
MaRDI profile type: Publication
full work available at URL: 0020-0190(86)90115-8
OpenAlex ID: W1992427568
cites work: Justification of the structural synthesis of programs
description: scientific article; zbMATH DE number 3982490