约 106,000 个结果

  1. In computer science, denotational semantics (initially known as mathematical semantics or Scott–Strachey semantics) is an approach of formalizing the meanings of programming languages by constructing mathematical...

    Denotational semantics - Wikipedia

    en.wikipedia.org/wiki/Denotational_semantics

    Denotational semantics, whereby each phrase in the language is interpreted as a denotation, i.e. a conceptual meaning that can be thought of abstractly. Such denotations are often mathematical objects inhabiting a...

    Semantics (computer science) - Wikipedia

    en.wikipedia.org/wiki/Semantics_(computer_science)
  2. 其他用户还问了以下问题
    What is denotational semantics?
    An important aspect of denotational semantics of programming languages is compositionality, by which the denotation of a program is constructed from denotations of its parts. For example, consider the expression "7 + 4". Compositionality in this case is to provide a meaning for "7 + 4" in terms of the meanings of "7", "4" and "+".

    Denotational semantics - Wikipedia

    en.wikipedia.org
    What is a domain in denotational semantics?
    It should be noted that the term ‘domain’ is used rather loosely in the literature on denotational semantics: there are many different kinds of domain, enjoying various extra order-theoretic properties over and above the rather minimal ones of chain-completeness and possession of a least element that we need for this course. Example 2.3.3.

    Denotational Semantics - University of Cambridge

    cl.cam.ac.uk
    What is semantics in programming language theory?
    In programming language theory, semantics is the rigorous mathematical study of the meaning of programming languages. [ 1] Semantics assigns computational meaning to valid strings in a programming language syntax. It is closely related to, and often crosses over with, the semantics of mathematical proofs .

    Semantics (computer science) - Wikipedia

    en.wikipedia.org
    How can we prove contextual equivalence using denotational semantics?
    As the theorem stated on Slide 49 shows, if we have a denotational semantics of PCF satisfying the properties on Slide 48, we can use it to establish instances of contextual equivalence by showing that terms have equal denotation. In many cases this is an easier task than proving contextual equivalence directly from the definition.

    Denotational Semantics - University of Cambridge

    cl.cam.ac.uk
    反馈
  3. 查看更多
    查看更多
    前往 Wikipedia 查看全部内容
    查看更多
    Wikipedia
    https://en.wikipedia.org/wiki/Denotational_semantics

    Denotational semantics - Wikipedia

    In computer science, denotational semantics (initially known as mathematical semantics or Scott–Strachey semantics) is an approach of formalizing the meanings of programming languages by constructing mathematical objects (called denotations) that describe the meanings of expressions from the … 展开

    Historical development

    Denotational semantics originated in the work of Christopher Strachey and Dana Scott published in the early 1970s. As originally developed by Strachey and Scott, denotational … 展开

    Compositionality

    An important aspect of denotational semantics of programming languages is compositionality, by which the denotation of a program is constructed from denotations of its parts. … 展开

    Connections to other areas of computer science

    Some work in denotational semantics has interpreted types as domains in the sense of domain theory, which can be seen as a branch of model theory, leading to connections with 展开

    External links

    • Denotational Semantics. Overview of book by Lloyd Allison
    • Schreiner, Wolfgang (1995). "Structure of Programming Languages I: Denotational Semantics". Course notes. 展开

    Abstraction

    It is often considered important to connect denotational semantics with operational semantics. This is especially important when the denotational semantics is rather mathematical and abstract, and the operational semantics is more concrete or closer to the … 展开

    Semantics versus implementation

    According to Dana Scott (1980):
    It is not necessary for the semantics to determine an implementation, but it should provide criteria for showing that an implementation is correct. 展开

    Further reading

    Textbooks
    • Milne, R.E.; Strachey, C. (1976). A theory of programming language semantics. 展开

    来自维基百科
    来自维基百科
    内容
    Historical development
    Abstraction
    Compositionality
    Semantics versus implementation
    Connections to other areas of computer science
    Further reading
    External links
    查看所有章节
    CC-BY-SA 许可证中的维基百科文本
    反馈
  4. 维基百科
    https://zh.wikipedia.org/wiki/指称语义

    指称语义 - 维基百科，自由的百科全书

  5. Wikipedia
    https://en.wikipedia.org/wiki/Semantics_(computer_science)

    Semantics (computer science) - Wikipedia

  6. 维基百科
    https://zh.wikipedia.org/zh-tw/指称语义

    指稱語意 - 維基百科，自由的百科全書 - zh.wikipedia.org

  8. Wikipédia
    https://static.hlt.bme.hu/semantics/external/pages/...

    Denotational semantics - Wikipedia - BME

    标记:
    Denotational Semantics
    Formal Semantics
  9. Wikipedia
    https://en.wikipedia.org/wiki/Category:Denotational_semantics

    Category:Denotational semantics - Wikipedia

  10. The Computer Laboratory
    https://www.cl.cam.ac.uk/teaching/1112/DenotSem/dens-notes-bw.pdf
    [PDF]

    Denotational Semantics - University of Cambridge

    标记:
    Denotational Semantics
    Semantic Web
    Programming Language
  11. The Computer Laboratory
    https://www.cl.cam.ac.uk/teaching/1011/DenotSem/l1.pdf
    [PDF]

    Denotational Semantics - University of Cambridge

  12. Harvard SEAS
    https://groups.seas.harvard.edu/courses/cs152/2021...
    [PDF]

    Denotational Semantics - CS 152 (Spring 2021) - Harvard …

  13. Computer Science
    https://www.cs.unc.edu/~stotts/COMP723-s13/Denote

    Denotational Semantics

    标记:
    Semantic Web
    Operational Semantics
    Formal Semantics