Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Error Localization for Sequential Effect Systems (Extended Version)Gordon, Colin S ; Chaewon YunarXiv.org, 2023-07Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
2 |
Material Type: Artigo
|
Multi-graded Featherweight JavaBianchini, Riccardo ; Dagnino, Francesco ; Giannini, Paola ; Zucca, ElenaarXiv.org, 2023-02Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
3 |
Material Type: Artigo
|
Soundly Handling LinearityTang, Wenhao ; Hillerström, Daniel ; Lindley, Sam ; J Garrett MorrisarXiv.org, 2023-07Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
4 |
Material Type: Artigo
|
Reversing Imperative Parallel ProgramsHoey, James ; Ulidowski, Irek ; Yuen, ShojiElectronic proceedings in theoretical computer science, 2017-09, Vol.255, p.51-66Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
5 |
Material Type: Artigo
|
Validation of Modern JSON Schema: Formalization and ComplexityAttouche, Lyes ; Mohamed-Amine Baazizi ; Colazzo, Dario ; Ghelli, Giorgio ; Sartiani, Carlo ; Scherzinger, StefaniearXiv.org, 2023-07Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
6 |
Material Type: Artigo
|
Kind Inference for the FreeST Programming LanguageAlmeida, Bernardo ; Mordido, Andreia ; Vasconcelos, Vasco TarXiv.org, 2023-04Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
7 |
Material Type: Artigo
|
Gradual Program Analysis for Null PointersEstep, Sam ; Wise, Jenna ; Aldrich, Jonathan ; Tanter, Éric ; Bader, Johannes ; Sunshine, JoshuaarXiv.org, 2021-07Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
8 |
Material Type: Artigo
|
Type Prediction With Program Decomposition and Fill-in-the-Type TrainingCassano, Federico ; Ming-Ho, Yee ; Shinn, Noah ; Guha, Arjun ; Holtzen, StevenarXiv.org, 2023-05Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
9 |
Material Type: Artigo
|
Latte: Lightweight Aliasing Tracking for JavaZimmerman, Conrad ; Gamboa, Catarina ; Fonseca, Alcides ; Aldrich, JonathanarXiv.org, 2023-09Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
10 |
Material Type: Artigo
|
slash: A Technique for Static Configuration-Logic IdentificationAlhanahnah, Mohannad ; Schubert, Philipp ; Reps, Thomas ; Jha, Somesh ; Bodden, EricarXiv.org, 2023-11Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |