Semantics of a declarative language (Q1085599)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Semantics of a declarative language |
scientific article |
Statements
Semantics of a declarative language (English)
0 references
1986
0 references
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.
0 references
data semantics
0 references
program synthesis
0 references
logic programming
0 references
intuitionistic propositional calculus
0 references