Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Tanter, ��ric"'
Harnessing the power of dependently typed languages can be difficult. Programmers must manually construct proofs to produce well-typed programs, which is not an easy task. In particular, migrating code to these languages is challenging. Gradual typin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::113318640563ed7670956a362766e29a
http://arxiv.org/abs/2107.04859
http://arxiv.org/abs/2107.04859
Static analysis tools typically address the problem of excessive false positives by requiring programmers to explicitly annotate their code. However, when faced with incomplete annotations, many analysis tools are either too conservative, yielding fa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cc1eaea2710415814377b26259c88f80
http://arxiv.org/abs/2105.06081
http://arxiv.org/abs/2105.06081
Autor:
Cruz, Raimil, Tanter, ��ric
Information-flow security type systems ensure confidentiality by enforcing noninterference: a program cannot leak private data to public channels. However, in practice, programs need to selectively declassify information about private data. Several a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::208c2f933d200d9c7f9e09a0edc8fa26
Autor:
Garcia, Ronald, Tanter, ��ric
ing Gradual Typing (AGT) is an approach to systematically deriving gradual counterparts to static type disciplines. The approach consists of defining the semantics of gradual types by interpreting them as sets of static types, and then defining an op
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e9f9dab918f184f0334543d5550bd410