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

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

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

Interaction Graphs: Full Linear Logic Autor Seiller, Thomas

“…Interaction graphs were introduced as a general, uniform, construction of dynamic models of linear logic, encompassing all Geometry of Interaction (GoI)…”
Získať plný text

Compositionality of Model Transformations Autor 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…”
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

“… 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…”
Získať plný text

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

“… in the framework of quantum theory. (Extra keywords: quantum programming languages, denotational semantics, universality.)…”
Získať plný text

A partial evaluator for a parallel lambda language Autor 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…”
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

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

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

Stone duality and representation of stable domain Autor 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…”
Získať plný text

Universal domains in the theory of denotational semantics of programming languages Autor 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…”
Získať plný text

Semantics, Specification Logic, and Hoare Logic of Exact Real Computation Autor 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…”
Získať plný text

A System-Level Game Semantics Autor 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…”
Získať plný text

Combining control effects and their models: Game semantics for a hierarchy of static, dynamic and delimited control effects Autor 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…”
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

Constructing language processors with algebra combinators Autor 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…”
Získať plný text

Modular Denotational Semantics for Effects with Guarded Interaction Trees Autor 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,…”
Získať plný text