Suchergebnisse - Semantics of Programming Languages—Denotational semantics

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

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

Interaction Graphs: Full Linear Logic von Seiller, Thomas

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

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

“… 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 …”
Volltext

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

“… in the framework of quantum theory. (Extra keywords: quantum programming languages, denotational semantics, universality.) …”
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

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

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

Stone duality and representation of stable domain von 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 …”
Volltext

Universal domains in the theory of denotational semantics of programming languages von 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 …”
Volltext

Semantics, Specification Logic, and Hoare Logic of Exact Real Computation von 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 …”
Volltext

A System-Level Game Semantics von 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 …”
Volltext

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

Constructing language processors with algebra combinators von 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 …”
Volltext

Modular Denotational Semantics for Effects with Guarded Interaction Trees von 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, …”
Volltext