Suchergebnisse - Semantics of Programming Languages—Algebraic approaches to semantics

  • Treffer 1 - 11 von 11
Treffer weiter einschränken
  1. 1
    Buchumschlag

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

    ISSN: 2575-5528
    Veröffentlicht: 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 …”
    Volltext
    Tagungsbericht
    Zu den Favoriten
    Gespeichert in:
  2. 2
    Buchumschlag

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

    ISSN: 2782-3210, 2500-316X
    Veröffentlicht: MIREA - Russian Technological University 01.03.2022
    Veröffentlicht in 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 …”
    Volltext
    Journal Article
    Zu den Favoriten
    Gespeichert in:
  3. 3
    Buchumschlag

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

    ISBN: 1467301078, 9781467301077
    ISSN: 1530-2059
    Veröffentlicht: 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 …”
    Volltext
    Tagungsbericht
    Zu den Favoriten
    Gespeichert in:
  4. 4
    Buchumschlag

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

    ISSN: 0001-5903, 1432-0525
    Veröffentlicht: Berlin/Heidelberg Springer-Verlag 01.12.2011
    Veröffentlicht in Acta informatica (01.12.2011)
    “… ; the laws are themselves formally derived from a denotational semantics expressed in the Unified Theories of Programming …”
    Volltext
    Journal Article
    Zu den Favoriten
    Gespeichert in:
  5. 5
    Buchumschlag

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

    ISSN: 1571-0661, 1571-0661
    Veröffentlicht: Elsevier B.V 06.03.2007
    Veröffentlicht in Electronic notes in theoretical computer science (06.03.2007)
    “… ]). Several quantum programming languages follow this model [S. Bettelli …”
    Volltext
    Journal Article
    Zu den Favoriten
    Gespeichert in:
  6. 6
    Buchumschlag

    The Logical Essentials of Bayesian Reasoning

    ISBN: 110848851X, 9781108488518
    Veröffentlicht: United Kingdom Cambridge University Press 18.11.2020
    Veröffentlicht in Foundations of Probabilistic Programming (18.11.2020)
    “… This framework rests on algebraic and logical foundations, inspired by the methodologies of programming language semantics …”
    Volltext
    Buchkapitel
    Zu den Favoriten
    Gespeichert in:
  7. 7
    Buchumschlag

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

    ISSN: 0001-5903, 1432-0525
    Veröffentlicht: Heidelberg Springer Nature B.V 01.12.2011
    Veröffentlicht in Acta informatica (01.12.2011)
    “… ; the laws are themselves formally derived from a denotational semantics expressed in the Unified Theories of Programming …”
    Volltext
    Journal Article
    Zu den Favoriten
    Gespeichert in:
  8. 8
    Buchumschlag

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

    ISSN: 2331-8422
    Veröffentlicht: Ithaca Cornell University Library, arXiv.org 27.04.2018
    Veröffentlicht in arXiv.org (27.04.2018)
    “… This framework rests on algebraic and logical foundations, inspired by the methodologies of programming language semantics …”
    Volltext
    Paper
    Zu den Favoriten
    Gespeichert in:
  9. 9
    Buchumschlag

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

    ISBN: 0818619562, 9780818619564
    Veröffentlicht: IEEE Comput. Soc. Press 1989
    “… Formal semantics of the layers is also given using operational semantics approach to programming languages …”
    Volltext
    Tagungsbericht
    Zu den Favoriten
    Gespeichert in:
  10. 10
    Buchumschlag

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

    ISBN: 0612098931, 9780612098930
    Veröffentlicht: 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 …”
    Volltext
    Dissertation
    Zu den Favoriten
    Gespeichert in:
  11. 11
    Buchumschlag

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

    ISBN: 148323536X, 9781483235363, 1483262472, 9781483262475, 9780120463701, 0120463709
    Veröffentlicht: Elsevier Inc 1989
    Veröffentlicht in 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 …”
    Volltext
    Buchkapitel
    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: