Type-theoretical semantics of some declarative languages

DOI10.1007/BFB0019354MaRDI QIDQ4560349zbMATH OpenOpenAlexFDO

Authors Jan Smith, G. E. 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

declarative languageinference rulepropositional variablestructural synthesistype theory

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 3819101 (Why is no real title available?)
• scientific article; zbMATH DE number 3960984 (Why is no real title available?)
• Justification of the structural synthesis of programs
• Semantics of a declarative language
• The programming system PRIZ

Describes a project that uses

Uses Software

• PRIZ

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4560349)