Search Results - Semantics of Programming Languages—Algebraic approaches to semantics

  • Showing 1 - 11 results of 11
Refine Results
  1. 1
    Cover Image

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

    ISSN: 2575-5528
    Published: 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…”
    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  2. 2
    Cover Image

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

    ISSN: 2782-3210, 2500-316X
    Published: MIREA - Russian Technological University 01.03.2022
    Published 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…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  3. 3
    Cover Image

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

    ISBN: 1467301078, 9781467301077
    ISSN: 1530-2059
    Published: 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…”
    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  4. 4
    Cover Image

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

    ISSN: 0001-5903, 1432-0525
    Published: Berlin/Heidelberg Springer-Verlag 01.12.2011
    Published in Acta informatica (01.12.2011)
    “…; the laws are themselves formally derived from a denotational semantics expressed in the Unified Theories of Programming…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  5. 5
    Cover Image

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

    ISSN: 1571-0661, 1571-0661
    Published: Elsevier B.V 06.03.2007
    “…]). Several quantum programming languages follow this model [S. Bettelli…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  6. 6
    Cover Image

    The Logical Essentials of Bayesian Reasoning

    ISBN: 110848851X, 9781108488518
    Published: United Kingdom Cambridge University Press 18.11.2020
    Published in Foundations of Probabilistic Programming (18.11.2020)
    “… This framework rests on algebraic and logical foundations, inspired by the methodologies of programming language semantics…”
    Get full text
    Book Chapter
    Save to List
    Saved in:
  7. 7
    Cover Image

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

    ISSN: 0001-5903, 1432-0525
    Published: Heidelberg Springer Nature B.V 01.12.2011
    Published in Acta informatica (01.12.2011)
    “…; the laws are themselves formally derived from a denotational semantics expressed in the Unified Theories of Programming…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  8. 8
    Cover Image

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

    ISSN: 2331-8422
    Published: Ithaca Cornell University Library, arXiv.org 27.04.2018
    Published in arXiv.org (27.04.2018)
    “… This framework rests on algebraic and logical foundations, inspired by the methodologies of programming language semantics…”
    Get full text
    Paper
    Save to List
    Saved in:
  9. 9
    Cover Image

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

    ISBN: 0818619562, 9780818619564
    Published: IEEE Comput. Soc. Press 1989
    “… Formal semantics of the layers is also given using operational semantics approach to programming languages…”
    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  10. 10
    Cover Image

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

    ISBN: 0612098931, 9780612098930
    Published: 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…”
    Get full text
    Dissertation
    Save to List
    Saved in:
  11. 11
    Cover Image

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

    ISBN: 148323536X, 9781483235363, 1483262472, 9781483262475, 9780120463701, 0120463709
    Published: Elsevier Inc 1989
    Published 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…”
    Get full text
    Book Chapter
    Save to List
    Saved in:

Search Tools: