Výsledky vyhľadávania - Semantics of Programming Languages— Denotational semantics

Denotational semantics for programming languages, balanced quasi-metrics and fixed points Autor 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…”
Získať plný text

METHODS OF STUDYING THE SEMANTICS OF PROGRAMMING LANGUAGES BY THE STUDENTS OF PROFESSIONAL EDUCATION INSTITUTIONS Autor 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…”
Získať plný text

Exploring the Properties of Finit Coproduct in the Category of Riesz Modules: A Semantic Approach to Denotational Semantics in Functional Programming Languages Autor 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…”
Získať plný text

Denotational and operational semantics for interaction languages: Application to trace analysis Autor 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…”
Získať plný text

An introduction to metric semantics: operational and denotational models for programming and specification languages Autor 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…”
Získať plný text

Nominal Sets: Names and Symmetry in Computer Science Autor 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…”
Získať plný text

Denotational semantics of recursive types in synthetic guarded domain theory Autor 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…”
Získať plný text

Denotational semantics of recursive types in synthetic guarded domain theory Autor 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…”
Získať plný text

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

“…We present metalanguages for developing synthetic cost-aware denotational semantics of programming languages…”
Získať plný text

Denotational semantics as a foundation for cost recurrence extraction for functional languages Autor 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…”
Získať plný text

Trace types and denotational semantics for sound programmable inference in probabilistic languages Autor 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…”
Získať plný text

Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory Autor 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…”
Získať plný text

On the Interpretation of Denotational Semantics Autor 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…”
Získať plný text

Meaning and Reference in Programming Languages Autor Angius, Nicola

“… This paper challenges the thesis that, since programming languages have semantics, they also have reference, presumably to the external world…”
Získať plný text

Deterministic stream-sampling for probabilistic programming: semantics and verification Autor 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…”
Získať plný text

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

“…Denotational models should provide an opportunity for the revision of current practices seen in the manuals of programming languages…”
Získať plný text

VDM semantics of programming languages: combinators and monads Autor 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…”
Získať plný text

Denotational semantics and its algebraic derivation for an event-driven system-level language Autor 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…”
Získať plný text

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

“… We give operational, denotational and equational semantics for this language, establishing convenient properties like exchangeability of conditions…”
Získať plný text

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

“… As a consequence, it gives a denotational semantics for Selinger’s first-order functional quantum programming language…”
Získať plný text