Semantics of a declarative language (Q1085599)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Semantics of a declarative language |
scientific article; zbMATH DE number 3982490
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Semantics of a declarative language |
scientific article; zbMATH DE number 3982490 |
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
