Suchergebnisse - Semantics of Programming Languages— Denotational semantics

Denotational semantics for programming languages, balanced quasi-metrics and fixed points von 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 …”
Volltext

METHODS OF STUDYING THE SEMANTICS OF PROGRAMMING LANGUAGES BY THE STUDENTS OF PROFESSIONAL EDUCATION INSTITUTIONS von 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 …”
Volltext

Exploring the Properties of Finit Coproduct in the Category of Riesz Modules: A Semantic Approach to Denotational Semantics in Functional Programming Languages von 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 …”
Volltext

Denotational and operational semantics for interaction languages: Application to trace analysis von 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 …”
Volltext

An introduction to metric semantics: operational and denotational models for programming and specification languages von 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 …”
Volltext

Nominal Sets: Names and Symmetry in Computer Science von 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 …”
Volltext

Denotational semantics of recursive types in synthetic guarded domain theory von 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 …”
Volltext

Denotational semantics of recursive types in synthetic guarded domain theory von 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 …”
Volltext

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

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

Denotational semantics as a foundation for cost recurrence extraction for functional languages von 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 …”
Volltext

Trace types and denotational semantics for sound programmable inference in probabilistic languages von 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 …”
Volltext

Denotational Semantics of Gradual Typing using Synthetic Guarded Domain Theory von 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 …”
Volltext

On the Interpretation of Denotational Semantics von 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 …”
Volltext

Meaning and Reference in Programming Languages von Angius, Nicola

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

Deterministic stream-sampling for probabilistic programming: semantics and verification von 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 …”
Volltext

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

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

VDM semantics of programming languages: combinators and monads von 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 …”
Volltext

Denotational semantics and its algebraic derivation for an event-driven system-level language von 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 …”
Volltext

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

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

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

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