Equivalence of the schemes of programs based on the algebraic approach to setting the semantics of programming languages by Y. P. Korablin

“…An algebraic approach to specifying semantics of programming languages was used for studying the equivalence of program schemes.Results. …”
Get full text

On the Interpretation of Denotational Semantics by Felice Cardone

“…The denotational approach to the semantics of programming languages views program meanings as elements of <i>domains,</i> abstract partially ordered structures that form the basis of a mathematical theory of computation. …”
Get full text

Meaning and Reference in Programming Languages by Nicola Angius

“…The paper concludes that if the semantics of programming languages may determine their reference, the latter is not to the external world but to the internal operations of the implementation executing them. …”
Get full text

Demonic semantics: using monotypes and residuals by F. Tchier

“…Relations and relational operators can be used to define the semantics of programming languages. The operations ∨ and ∘ serve to give angelic semantics by defining a program to go right when there is a possibility to go right. …”
Get full text

Development and Application of a Software Tool to Support the Teaching of Formal Languages by A. P. Sergushicheva, E. N. Davydova

“…Theory of formal languages, syntax and semantics of programming languages, lexical analysis, analysis of various sources of information on the subject under study, systematization of the collected data, technologies for designing, implementing and testing software products, experimental research.Results. …”
Get full text