Výsledky vyhledávání - "Semantics of Programming Languages—Denotational semantics"
-
1
METHODS OF STUDYING THE SEMANTICS OF PROGRAMMING LANGUAGES BY THE STUDENTS OF PROFESSIONAL EDUCATION INSTITUTIONS
ISSN: 2311-6382, 2415-3605Vydáno: 11.07.2023Vydáno v The Scientific Issues of Ternopil Volodymyr Hnatiuk National Pedagogical University. Series: pedagogy (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…”
Získat plný text
Journal Article -
2
Denotational semantics of recursive types in synthetic guarded domain theory
ISSN: 2575-5528Vydáno: ACM 01.07.2016Vydáno v 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (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…”
Získat plný text
Konferenční příspěvek