1 - 10 de 19 para null
Mostrar Somente
Refinado por:
Nome da Publicação:
Foundations and trends in programming languages
| 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 |
1 - 10 de 19 para null
Personalize Seus Resultados
Refine Search Results
Mostrar Somente
Assunto
- Computer Science (17)
- Technology (17)
- Programming Languages (13)
- Computer Science, Software Engineering (11)
- Science & Technology (11)
- Computing And Processing (9)
- Program Verification (6)
- Abstract Interpretation (4)
- Static And Dynamic Program Analysis (4)
- Computer Programs (3)
- Computer Programming (3)
- Deep Learning (2)
- Software Engineering (2)
- Verification (2)
- Computer Software (2)
- Type Theory And Type Systems (2)
- Machine Learning (2)
- Distributed Computing (2)
- Theoretical Computer Science (2)
- Program Logic (2)
-
Mais opções
Data de Publicação
- Antes de2015 (3)
- 2015Até2016 (7)
- 2017Até2019 (2)
- 2020Até2022 (6)
- Após 2022 (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 