Semantics of a declarative language

DOI10.1016/0020-0190(86)90115-8zbMath0607.68006OpenAlexW1992427568MaRDI QIDQ1085599

É. Kh. Tyugu, Grigori Mints

Publication date: 1986

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(86)90115-8

zbMATH Keywords

logic programmingprogram synthesisintuitionistic propositional calculusdata semantics

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)

Related Items (1)

Type-theoretical semantics of some declarative languages

Cites Work

• Justification of the structural synthesis of programs

This page was built for publication: Semantics of a declarative language