Výsledky vyhľadávania - Semantics of Programming Languages—Algebraic approaches to semantics

  • Zobrazené výsledky 1 - 11 z 11
Upresniť hľadanie
  1. 1
    Obálka

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

    ISSN: 2575-5528
    Vydavateľské údaje: 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ískať plný text
    Konferenčný príspevok..
    Pridať do obľúbených
    Uložené v:
  2. 2
    Obálka

    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
    Vydavateľské údaje: MIREA - Russian Technological University 01.03.2022
    Vydané 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ískať plný text
    Journal Article
    Pridať do obľúbených
    Uložené v:
  3. 3
    Obálka

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

    ISBN: 1467301078, 9781467301077
    ISSN: 1530-2059
    Vydavateľské údaje: 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ískať plný text
    Konferenčný príspevok..
    Pridať do obľúbených
    Uložené v:
  4. 4
    Obálka

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

    ISSN: 0001-5903, 1432-0525
    Vydavateľské údaje: Berlin/Heidelberg Springer-Verlag 01.12.2011
    Vydané v Acta informatica (01.12.2011)
    “…; the laws are themselves formally derived from a denotational semantics expressed in the Unified Theories of Programming…”
    Získať plný text
    Journal Article
    Pridať do obľúbených
    Uložené v:
  5. 5
    Obálka

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

    ISSN: 1571-0661, 1571-0661
    Vydavateľské údaje: Elsevier B.V 06.03.2007
    “…]). Several quantum programming languages follow this model [S. Bettelli…”
    Získať plný text
    Journal Article
    Pridať do obľúbených
    Uložené v:
  6. 6
    Obálka

    The Logical Essentials of Bayesian Reasoning

    ISBN: 110848851X, 9781108488518
    Vydavateľské údaje: 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ískať plný text
    Kapitola
    Pridať do obľúbených
    Uložené v:
  7. 7
    Obálka

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

    ISSN: 0001-5903, 1432-0525
    Vydavateľské údaje: Heidelberg Springer Nature B.V 01.12.2011
    Vydané v Acta informatica (01.12.2011)
    “…; the laws are themselves formally derived from a denotational semantics expressed in the Unified Theories of Programming…”
    Získať plný text
    Journal Article
    Pridať do obľúbených
    Uložené v:
  8. 8
    Obálka

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

    ISSN: 2331-8422
    Vydavateľské údaje: Ithaca Cornell University Library, arXiv.org 27.04.2018
    Vydané v arXiv.org (27.04.2018)
    “… This framework rests on algebraic and logical foundations, inspired by the methodologies of programming language semantics…”
    Získať plný text
    Paper
    Pridať do obľúbených
    Uložené v:
  9. 9
    Obálka

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

    ISBN: 0818619562, 9780818619564
    Vydavateľské údaje: IEEE Comput. Soc. Press 1989
    “… Formal semantics of the layers is also given using operational semantics approach to programming languages…”
    Získať plný text
    Konferenčný príspevok..
    Pridať do obľúbených
    Uložené v:
  10. 10
    Obálka

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

    ISBN: 0612098931, 9780612098930
    Vydavateľské údaje: 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ískať plný text
    Dissertation
    Pridať do obľúbených
    Uložené v:
  11. 11
    Obálka

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

    ISBN: 148323536X, 9781483235363, 1483262472, 9781483262475, 9780120463701, 0120463709
    Vydavateľské údaje: Elsevier Inc 1989
    Vydané 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ískať plný text
    Kapitola
    Pridať do obľúbených
    Uložené v:

Vyhľadávacie nástroje: