Zobraziť v EDS

Semantic programming

Uložené v:

Podrobná bibliografia
Názov:	Semantic programming
Autori:	Ershov, Yu. L., Goncharov, S. S., Sviridenko, D. I.
Predmety:	Logic in computer science, Specification and verification (program logics, model checking, etc.), \(\Sigma \)-formulae, semantic programming, computable predicates of finite types, General topics in the theory of software, list extensions
Popis:	Summary: Described are methodological and mathematical aspects of a new concept of programming called ``semantic programming''. This concept is based on ideas and methods of mathematical logic and in particular, on the fact that computable functions and predicates admit formula description. In semantic programming, the so-called \(\Sigma\)-formulae are chosen as such descriptions, and their generalizations - \(\Sigma\)-expressions written in the language of the theory of list extensions of GES-models. Here the language of \(\Sigma\)-expressions allows us to construct \(\Sigma\)-programs containing computable predicates of finite types.
Druh dokumentu:	Article
Popis súboru:	application/xml
Prístupová URL adresa:	https://zbmath.org/4037166
Prístupové číslo:	edsair.c2b0b933574d..547722cff06cc3847ea0de2a0b33d973
Databáza:	OpenAIRE

Popis
Abstrakt:	Summary: Described are methodological and mathematical aspects of a new concept of programming called ``semantic programming''. This concept is based on ideas and methods of mathematical logic and in particular, on the fact that computable functions and predicates admit formula description. In semantic programming, the so-called \(\Sigma\)-formulae are chosen as such descriptions, and their generalizations - \(\Sigma\)-expressions written in the language of the theory of list extensions of GES-models. Here the language of \(\Sigma\)-expressions allows us to construct \(\Sigma\)-programs containing computable predicates of finite types.