Zobrazeno 1 - 10
of 110
pro vyhledávání: '"Algebraic data types"'
Publikováno v:
Bosio, Sophie Adeline Solheim. Contra: Automatically Finding Algebraic Counterexamples to Property-Based Tests. Master thesis, University of Oslo, 2024
Externí odkaz:
http://hdl.handle.net/10852/112638
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Proceedings of the ACM on Programming Languages
ICFP 2023
ICFP 2023, Sep 2023, Seattle (USA), United States. ⟨10.1145/3607858⟩
ICFP 2023
ICFP 2023, Sep 2023, Seattle (USA), United States. ⟨10.1145/3607858⟩
International audience; Initially present only in functional languages such as OCaml and Haskell, Algebraic Data Types (ADTs) have now become pervasive in mainstream languages, providing nice data abstractions and an elegant way to express functions
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3393::7f9c4d98f638aa3bd1db53469889c895
https://inria.hal.science/hal-04165615
https://inria.hal.science/hal-04165615
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
[Research Report] Centre Inria de l'Université de Rennes; Univ Rennes. 2022
[Research Report] Centre Inria de l'Université de Rennes; Univ Rennes. 2023
[Research Report] Centre Inria de l'Université de Rennes; Univ Rennes. 2023
We present RAND, a relational abstract domain that expresses relations between values of non-recursive algebraic data types (ADTs), and numeric relations between their scalar parts. RAND is parametrised on a user-provided numeric relational domain, t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0f1ac6b1730bf1f4c6ef3511c2bdf00d
https://hal.inria.fr/hal-03765357
https://hal.inria.fr/hal-03765357
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Programming Languages and Systems
Property-based testing uses randomly generated inputs to validate high-level program specifications. It can be shockingly effective at finding bugs, but it often requires generating a very large number of inputs to do so. In this paper, we apply idea
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pmc_________::d1e0b2ff03817adbc028c61238fce844
http://europepmc.org/articles/PMC7984547
http://europepmc.org/articles/PMC7984547
Publikováno v:
[Research Report] RR-9473, Inria Lyon. 2022, pp.35
[Research Report] Inria Lyon. 2022
[Research Report] Inria Lyon. 2022
Initially present only in functional languages such as OCaml and Haskell, Algebraic Data Types have now become pervasive in mainstream languages, providing nice data abstractions and an elegant way to express functions though pattern-matching. Numero
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::893fbb391aa79f5dab7fadf6d3d4a636
https://inria.hal.science/hal-03684334v3/file/rr-9473.pdf
https://inria.hal.science/hal-03684334v3/file/rr-9473.pdf
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.