Resultados de 1 a 10 de 19 para Busca Geral
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: Artigo
|
|
Computer-Assisted Query FormulationCheung, Alvin ; Solar-Lezama, ArmandoFoundations and trends in programming languages, 2016-01, Vol.3 (1), p.1-94 [Periódico revisado por pares]Boston - Delft: Now PublishersTexto completo disponível |
| 3 |
Material Type: Artigo
|
|
Formal Models and Techniques for Analyzing Security Protocols: A TutorialCortier, Véronique ; Kremer, SteveFoundations and trends in programming languages, 2014, Vol.1 (3), p.151-267 [Periódico revisado por pares]Boston - Delft: Now PublishersTexto completo disponível |
| 4 |
Material Type: Revista
|
|
|
| 5 |
Material Type: Artigo
|
|
From Fine- to Coarse-Grained Dynamic Information Flow Control and BackVassena, Marco ; Russo, Alejandro ; Garg, Deepak ; Rajani, Vineet ; Stefan, DeianFoundations and trends in programming languages, 2023-01, Vol.8 (1), p.1-117 [Periódico revisado por pares]Texto 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
|
|
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 |
| 8 |
Material Type: Artigo
|
|
Nominal Game SemanticsMurawski, Andrzej S. ; Tzevelekos, NikosFoundations and trends in programming languages, 2016, Vol.2 (4), p.191-269 [Periódico revisado por pares]Boston - Delft: Now PublishersTexto completo disponível |
| 9 |
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 |
| 10 |
Material Type: Artigo
|
|
Principles of Eventual ConsistencyRavichandhran, Madhavan ; Ramalingam, G. ; Vaswani, KapilFoundations and trends in programming languages, 2015, Vol.1 (4), p.269-381 [Periódico revisado por pares]Texto completo disponível |
Resultados de 1 a 10 de 19 para Busca Geral
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
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: 