Suchergebnisse - "Semantics of Programming Languages-Denotational Semantics"

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

    METHODS OF STUDYING THE SEMANTICS OF PROGRAMMING LANGUAGES BY THE STUDENTS OF PROFESSIONAL EDUCATION INSTITUTIONS von TKACHUK, STANISLAV, MELNYK, OLEKSII

    ISSN: 2311-6382, 2415-3605
    Veröffentlicht: 11.07.2023
    “… The article shows that in institutions of professional (vocational and technical) education, the inclusion of a block of questions devoted to the semiotics of …”
    Volltext
    Journal Article
    Zu den Favoriten
    Gespeichert in:
  2. 2
    Buchumschlag

    Denotational semantics of recursive types in synthetic guarded domain theory von Mogelberg, Rasmus Ejlers, Paviotti, Marco

    ISSN: 2575-5528
    Veröffentlicht: ACM 01.07.2016
    “… Guarded recursion is a form of recursion where recursive calls are guarded by delay modalities. Previous work has shown how guarded recursion is useful for …”
    Volltext
    Tagungsbericht
    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: