Search Results - Semantics of Programming Languages-Denotational Semantics

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

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

“… Previous work has shown how guarded recursion is useful for reasoning operationally about programming languages with advanced features including general references, recursive types, countable non…”
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

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

Interaction Graphs: Full Linear Logic by Seiller, Thomas

“…Interaction graphs were introduced as a general, uniform, construction of dynamic models of linear logic, encompassing all Geometry of Interaction (GoI)…”
Get full text

Compositionality of Model Transformations by Bisztray, Dénes, Heckel, Reiko, Ehrig, Hartmut

“… using process algebras as semantics for visual modeling languages. Denotational semantics of programming languages are by definition compositional…”
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

“… Riesz spaces are valuable for representing complex mathematical structures in functional programming, and Riesz modules provide an ideal semantic category for facilitating mathematical proofs and logical reasoning…”
Get full text

On the completeness of quantum computation models by Arrighi, Pablo, Dowek, Gilles

“… in the framework of quantum theory. (Extra keywords: quantum programming languages, denotational semantics, universality.)…”
Get full text

A partial evaluator for a parallel lambda language by Kuang, Hairong, Sun, Yongqiang, Lin, Kai

“… This parallel language can be used to write a programming language’s denotational semantics which extracts the parallelism in the program…”
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

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

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

Stone duality and representation of stable domain by Chen, Yixiang

“…In this paper, the author studies the Stone duality and representation of L-domain w.r.t. stable functions. Two basic notions are introduced, one is…”
Get full text

Universal domains in the theory of denotational semantics of programming languages by Droste, M., Gobel, R.

“…The authors present a categorical generalization of a well-known result in model theory, the Fraisse-Jonsson theorem, by which they characterize large classes…”
Get full text

Semantics, Specification Logic, and Hoare Logic of Exact Real Computation by Park, Sewon, Brauße, Franz, Collins, Pieter, Kim, SunYoung, Konečný, Michal, Lee, Gyesik, Müller, Norbert, Neumann, Eike, Preining, Norbert, Ziegler, Martin

“… Equipped with a denotational semantics, ERC provides a formal programming language-theoretic foundation to the algorithmic processing of real numbers…”
Get full text

A System-Level Game Semantics by Ghica, Dan R., Tzevelekos, Nikos

“…Game semantics is a trace-like denotational semantics for programming languages where the notion of legal observable behaviour of a term is defined…”
Get full text

Combining control effects and their models: Game semantics for a hierarchy of static, dynamic and delimited control effects by Laird, J.

“… This paper develops operational and denotational semantics for a hierarchy of programming languages which include combinations of locally declared control prompts to which a program can escape…”
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

Constructing language processors with algebra combinators by Frisby, Nicolas, Kimmell, Garrin, Weaver, Philip, Alexander, Perry

“…Modular Monadic Semantics (MMS) is a well-known mechanism for structuring modular denotational semantic definitions for programming languages…”
Get full text

Modular Denotational Semantics for Effects with Guarded Interaction Trees by Frumin, Dan, Timany, Amin, Birkedal, Lars

“…We present guarded interaction trees — a structure and a fully formalized framework for representing higherorder computations with higher-order effects in Coq,…”
Get full text