Výsledky vyhledávání - Semantics of Programming Languages—Algebraic approaches to semantics

  • Zobrazuji výsledky 1 - 11 z 11
Upřesnit hledání
  1. 1

    Healthiness from Duality Autor Hino, Wataru, Kobayashi, Hiroki, Hasuo, Ichiro, Jacobs, Bart

    ISSN: 2575-5528
    Vydáno: ACM 01.07.2016
    “…Healthiness is a good old question in program logics that dates back to Dijkstra. It asks for an intrinsic characterization of those predicate transformers…”
    Získat plný text
    Konferenční příspěvek
  2. 2

    Equivalence of the schemes of programs based on the algebraic approach to setting the semantics of programming languages Autor Korablin, Y. P.

    ISSN: 2782-3210, 2500-316X
    Vydáno: MIREA - Russian Technological University 01.03.2022
    Vydáno v Rossijskij tehnologičeskij žurnal (01.03.2022)
    “… The programming language model presented in the paper contains basic constructs of sequential languages and is the core of the existing sequential programming languages…”
    Získat plný text
    Journal Article
  3. 3

    Animating the Approach of Deriving Operational Semantics from Algebraic Semantics for Web Services Autor Qian Wang, Huibiao Zhu

    ISBN: 1467301078, 9781467301077
    ISSN: 1530-2059
    Vydáno: IEEE 01.11.2011
    “… Our approach was to derive the operational semantics from algebraic semantics. This paper considers the animation approach for the link between operational semantics and algebraic semantics for BPEL…”
    Získat plný text
    Konferenční příspěvek
  4. 4

    Correct hardware synthesis: An algebraic approach Autor Perna, Juan, Woodcock, Jim, Sampaio, Augusto, Iyoda, Juliano

    ISSN: 0001-5903, 1432-0525
    Vydáno: Berlin/Heidelberg Springer-Verlag 01.12.2011
    Vydáno v Acta informatica (01.12.2011)
    “…; the laws are themselves formally derived from a denotational semantics expressed in the Unified Theories of Programming…”
    Získat plný text
    Journal Article
  5. 5

    Quantum Patterns and Types for Entanglement and Separability Autor Perdrix, Simon

    ISSN: 1571-0661, 1571-0661
    Vydáno: Elsevier B.V 06.03.2007
    “…]). Several quantum programming languages follow this model [S. Bettelli…”
    Získat plný text
    Journal Article
  6. 6

    The Logical Essentials of Bayesian Reasoning

    ISBN: 110848851X, 9781108488518
    Vydáno: United Kingdom Cambridge University Press 18.11.2020
    “… This framework rests on algebraic and logical foundations, inspired by the methodologies of programming language semantics…”
    Získat plný text
    Kapitola
  7. 7

    Correct hardware synthesis Autor Perna, Juan, Woodcock, Jim, Sampaio, Augusto, Iyoda, Juliano

    ISSN: 0001-5903, 1432-0525
    Vydáno: Heidelberg Springer Nature B.V 01.12.2011
    Vydáno v Acta informatica (01.12.2011)
    “…; the laws are themselves formally derived from a denotational semantics expressed in the Unified Theories of Programming…”
    Získat plný text
    Journal Article
  8. 8

    The Logical Essentials of Bayesian Reasoning Autor Jacobs, Bart, Zanasi, Fabio

    ISSN: 2331-8422
    Vydáno: Ithaca Cornell University Library, arXiv.org 27.04.2018
    Vydáno v arXiv.org (27.04.2018)
    “… This framework rests on algebraic and logical foundations, inspired by the methodologies of programming language semantics…”
    Získat plný text
    Paper
  9. 9

    Time-closed layer: a design principle for time-critical applications Autor Zedan, H.

    ISBN: 0818619562, 9780818619564
    Vydáno: IEEE Comput. Soc. Press 1989
    “… Formal semantics of the layers is also given using operational semantics approach to programming languages…”
    Získat plný text
    Konferenční příspěvek
  10. 10

    Algorithmic abstraction via polymorphism in object-oriented programming languages Autor Zhuang, Qingyu

    ISBN: 0612098931, 9780612098930
    Vydáno: ProQuest Dissertations & Theses 01.01.1996
    “… A solution to this problem is to realize algorithmic abstraction at the programming language level in addition to data abstraction…”
    Získat plný text
    Dissertation
  11. 11

    1 - Bisimulation in Algebraic Specifications Autor ASTESIANO, EGIDIO, WIRSING, MARTIN

    ISBN: 148323536X, 9781483235363, 1483262472, 9781483262475, 9780120463701, 0120463709
    Vydáno: Elsevier Inc 1989
    Vydáno v Algebraic Techniques (1989)
    “… Therefore, programming languages are also described by these techniques. Main steps in this direction are infinite magmas, the ADJ-approach using continuous algebraic…”
    Získat plný text
    Kapitola