Výsledky vyhľadávania - "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-3605Vydavateľské údaje: 11.07.2023Vydané 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ískať plný text
Journal Article -
2
Denotational semantics of recursive types in synthetic guarded domain theory
ISSN: 2575-5528Vydavateľské údaje: ACM 01.07.2016Vydané 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ískať plný text
Konferenčný príspevok..