Keresés
1 találatból megjelenítve: 1-4
Cím: Extended pattern matching for embedded languages
Szerző:
Dátum: 2012
Feltöltve: 2023-08-09
(2012)
Cím: Programhelyesség-bizonyítás fordítási időben
Szerző:
Dátum: 2017
Feltöltve: 2019-02-08
(2017)
A dolgozat első tézise egy formális programmodellt vezet be haladási és biztonsági kritériumok megfogalmazására alkalmas temporális logikai operátorokkal. A modell levezetési szabályai bizonyítással együtt kerülnek ...
Cím: Static Analysis for an Extension of Pattern Matching
Szerző:
Dátum: 2012
Feltöltve: 2023-08-09
(2012)