Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Behavioral Types in Programming LanguagesAncona, Davide ; Bono, Viviana ; Bravetti, Mario ; Campos, Joana ; Castagna, Giuseppe ; Deniélou, Pierre-Malo ; Gay, Simon J. ; Gesbert, Nils ; Giachino, Elena ; Hu, Raymond ; Johnsen, Einar Broch ; Martins, Francisco ; Mascardi, Viviana ; Montesi, Fabrizio ; Neykova, Rumyana ; Ng, Nicholas ; Padovani, Luca ; Vasconcelos, Vasco T. ; Yoshida, NobukoFoundations and trends in programming languages, 2016-01, Vol.3 (2-3), p.95-230 [Periódico revisado por pares]Boston - Delft: Now PublishersTexto completo disponível |
|
2 |
Material Type: Revista
|
|
|
3 |
Material Type: Artigo
|
Neurosymbolic ProgrammingChaudhuri, Swarat ; Ellis, Kevin ; Polozov, Oleksandr ; Singh, Rishabh ; Solar-Lezama, Armando ; Yue, YisongFoundations and trends in programming languages, 2021-12, Vol.7 (3), p.158-243 [Periódico revisado por pares]Boston - Delft: Now PublishersTexto completo disponível |
|
4 |
Material Type: Artigo
|
Pointer AnalysisSmaragdakis, Yannis ; Balatsouras, GeorgeFoundations and trends in programming languages, 2015, Vol.2 (1), p.1-69 [Periódico revisado por pares]Boston - Delft: Now PublishersTexto completo disponível |
|
5 |
Material Type: Artigo
|
Tutorial on Static Inference of Numeric Invariants by Abstract InterpretationMiné, AntoineFoundations and trends in programming languages, 2017-01, Vol.4 (3-4), p.120-372 [Periódico revisado por pares]Boston - Delft: Now PublishersTexto completo disponível |
|
6 |
Material Type: Artigo
|
Introduction to Neural Network VerificationAlbarghouthi, AwsFoundations and trends in programming languages, 2021-12, Vol.7 (1-2), p.1-157 [Periódico revisado por pares]Boston - Delft: Now PublishersTexto completo disponível |
|
7 |
Material Type: Artigo
|
Programming with “Big Code”Vechev, Martin ; Yahav, EranFoundations and trends in programming languages, 2016-01, Vol.3 (4), p.231-284 [Periódico revisado por pares]Boston - Delft: Now PublishersTexto completo disponível |
|
8 |
Material Type: Artigo
|
Refinement Types: A TutorialJhala, Ranjit ; Vazou, NikiFoundations and trends in programming languages, 2021-10, Vol.6 (3-4), p.159-317 [Periódico revisado por pares]Boston - Delft: Now PublishersTexto completo disponível |
|
9 |
Material Type: Artigo
|
QED at Large: A Survey of Engineering of Formally Verified SoftwareRinger, Talia ; Palmskog, Karl ; Sergey, Ilya ; Gligoric, Milos ; Tatlock, ZacharyFoundations and trends in programming languages, 2019-01, Vol.5 (2-3), p.102-281 [Periódico revisado por pares]Boston - Delft: Now PublishersTexto completo disponível |
|
10 |
Material Type: Artigo
|
Progress of Concurrent ObjectsLiang, Hongjin ; Feng, XinyuFoundations and trends in programming languages, 2020-05, Vol.5 (4), p.282-414 [Periódico revisado por pares]Boston - Delft: Now PublishersTexto completo disponível |