Type-theoretical semantics of some declarative languages

DOI10.1007/BFB0019354zbMath1412.68043OpenAlexW1624926207MaRDI QIDQ4560349

Jan Smith, Grigori Mints, É. Kh. Tyugu

Publication date: 11 December 2018

Published in: Baltic Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bfb0019354

zbMATH Keywords

inference ruletype theorystructural synthesisdeclarative languagepropositional variable

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• PRIZ

Cites Work

• Justification of the structural synthesis of programs
• Semantics of a declarative language
• The programming system PRIZ
• Unnamed Item
• Unnamed Item

This page was built for publication: Type-theoretical semantics of some declarative languages