Search Results - Semantics of Programming Languages— Denotational semantics

Denotational semantics for programming languages, balanced quasi-metrics and fixed points by Rodríguez-López, J., Romaguera, S., Valero, O.

“…A new mathematical model is introduced for the study of the domain of words. We do it by means of the introduction of a suitable balanced quasi-metric on the…”
Get full text

METHODS OF STUDYING THE SEMANTICS OF PROGRAMMING LANGUAGES BY THE STUDENTS OF PROFESSIONAL EDUCATION INSTITUTIONS by TKACHUK, STANISLAV, MELNYK, OLEKSII

“…) education, the inclusion of a block of questions devoted to the semiotics of programming languages into the content of learning languages and programming methods will contribute to the successful…”
Get full text

Exploring the Properties of Finit Coproduct in the Category of Riesz Modules: A Semantic Approach to Denotational Semantics in Functional Programming Languages by Lei, Huangrui, Tang, Jiangang, Liu, Jiyu

“…The relationship between Riesz modules and functional programming languages lies in their shared mathematical structures and use of category theory…”
Get full text

Denotational and operational semantics for interaction languages: Application to trace analysis by Mahe, Erwan, Gaston, Christophe, Le Gall, Pascale

“…) are widely used, with formalisms such as Message Sequence Charts (MSC) or UML-SD. Yet, only restricted subsets of these languages are associated to formal semantics, most of which are given by translation towards other formalisms…”
Get full text

An introduction to metric semantics: operational and denotational models for programming and specification languages by van Breugel, Franck

“…Our focus is on the semantics of programming and specification languages. Over the years, different approaches to give semantics to these languages have been put forward…”
Get full text

Denotational semantics of recursive types in synthetic guarded domain theory by Mogelberg, Rasmus Ejlers, Paviotti, Marco

“… In previous work we initiated a programme of denotational semantics in type theory using guarded recursion, by constructing a computationally adequate model of the language PCF…”
Get full text

Denotational semantics of recursive types in synthetic guarded domain theory by MØGELBERG, RASMUS E., PAVIOTTI, MARCO

“…Just like any other branch of mathematics, denotational semantics of programming languages should be formalised in type theory, but adapting traditional domain theoretic semantics, as originally…”
Get full text

A Metalanguage for Cost-Aware Denotational Semantics by Niu, Yue, Harper, Robert

“…We present metalanguages for developing synthetic cost-aware denotational semantics of programming languages…”
Get full text

Denotational semantics as a foundation for cost recurrence extraction for functional languages by DANNER, NORMAN, LICATA, DANIEL R.

“… upper bound on that recurrence. We give a formal account of that method for functional programs in a higher order language with $\mathtt{let}$-polymorphism…”
Get full text

Nominal Sets: Names and Symmetry in Computer Science by Pitts, Andrew M.

“…Nominal sets provide a promising new mathematical analysis of names in formal languages based upon symmetry, with many applications to the syntax and semantics of programming language constructs…”
Get full text

Trace types and denotational semantics for sound programmable inference in probabilistic languages by Lew, Alexander K., Cusumano-Towner, Marco F., Sherman, Benjamin, Carbin, Michael, Mansinghka, Vikash K.

“… To address this problem, we present a denotational semantics for programmable inference in higher-order probabilistic programming languages, along with a type system that ensures that well-typed…”
Get full text

Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory by Giovannini, Eric, Ding, Tingting, New, Max S.

“…Gradually typed programming languages, which allow for soundly mixing static and dynamically typed programming styles, present a strong challenge for metatheorists…”
Get full text

On the Interpretation of Denotational Semantics by Cardone, Felice

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

Meaning and Reference in Programming Languages by Angius, Nicola

“… This paper challenges the thesis that, since programming languages have semantics, they also have reference, presumably to the external world…”
Get full text

Deterministic stream-sampling for probabilistic programming: semantics and verification by Dahlqvist, Fredrik, Silva, Alexandra, Smith, William

“…Probabilistic programming languages rely fundamentally on some notion of sampling, and this is doubly true for probabilistic programming languages which perform Bayesian inference using Monte Carlo techniques…”
Get full text

An Experiment with a User Manual of a Programming Language Based on a Denotational Semantics by Blikle, Andrzej

“…Denotational models should provide an opportunity for the revision of current practices seen in the manuals of programming languages…”
Get full text

VDM semantics of programming languages: combinators and monads by Mosses, Peter D.

“… After recalling the main features of denotational semantics and the Scott–Strachey style, we examine the combinators of the VDM specification language, and relate them to monads, which were introduced more than 15 years later…”
Get full text

Denotational semantics and its algebraic derivation for an event-driven system-level language by Zhu, H., He, Jifeng, Qin, Shengchao, Brooke, Phillip J.

“… The denotational method is another approach to studying the semantics of a programming language. It provides the mathematical meaning to programs and can predict the behaviour of programs…”
Get full text

Compositional Semantics for Probabilistic Programs with Exact Conditioning by Stein, Dario, Staton, Sam

“… We give operational, denotational and equational semantics for this language, establishing convenient properties like exchangeability of conditions…”
Get full text

Semantics for a Quantum Programming Language by Operator Algebras by Cho, Kenta

“… As a consequence, it gives a denotational semantics for Selinger’s first-order functional quantum programming language…”
Get full text