skip to main content
Idioma:
Resultados 1 2 next page
Mostrar Somente
Refinado por: Nome da Publicação: Foundations and trends in programming languages remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
From Fine- to Coarse-Grained Dynamic Information Flow Control and Back
From Fine- to Coarse-Grained Dynamic Information Flow Control and Back
Material Type:
Artigo 		Adicionar ao Meu Espaço

From Fine- to Coarse-Grained Dynamic Information Flow Control and Back

Vassena, Marco ; Russo, Alejandro ; Garg, Deepak ; Rajani, Vineet ; Stefan, Deian

Foundations and trends in programming languages, 2023-01, Vol.8 (1), p.1-117 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
2
Probabilistic Trace and Testing Semantics: The Importance of Being Coherent
Probabilistic Trace and Testing Semantics: The Importance of Being Coherent
Material Type:
Artigo 		Adicionar ao Meu Espaço

Probabilistic Trace and Testing Semantics: The Importance of Being Coherent

Bernardo, Marco

Foundations and trends in programming languages, 2022, Vol.7 (4), p.244-332 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
3
Neurosymbolic Programming
Neurosymbolic Programming
Material Type:
Artigo 		Adicionar ao Meu Espaço

Neurosymbolic Programming

Chaudhuri, Swarat ; Ellis, Kevin ; Polozov, Oleksandr ; Singh, Rishabh ; Solar-Lezama, Armando ; Yue, Yisong

Foundations and trends in programming languages, 2021-12, Vol.7 (3), p.158-243 [Periódico revisado por pares]

Boston - Delft: Now Publishers

Texto completo disponível

Citações Citado por
4
Introduction to Neural Network Verification
Introduction to Neural Network Verification
Material Type:
Artigo 		Adicionar ao Meu Espaço

Introduction to Neural Network Verification

Albarghouthi, Aws

Foundations and trends in programming languages, 2021-12, Vol.7 (1-2), p.1-157 [Periódico revisado por pares]

Boston - Delft: Now Publishers

Texto completo disponível

Citações Citado por
5
Refinement Types: A Tutorial
Refinement Types: A Tutorial
Material Type:
Artigo 		Adicionar ao Meu Espaço

Refinement Types: A Tutorial

Jhala, Ranjit ; Vazou, Niki

Foundations and trends in programming languages, 2021-10, Vol.6 (3-4), p.159-317 [Periódico revisado por pares]

Boston - Delft: Now Publishers

Texto completo disponível

Citações Citado por
6
Progress of Concurrent Objects
Progress of Concurrent Objects
Material Type:
Artigo 		Adicionar ao Meu Espaço

Progress of Concurrent Objects

Liang, Hongjin ; Feng, Xinyu

Foundations and trends in programming languages, 2020-05, Vol.5 (4), p.282-414 [Periódico revisado por pares]

Boston - Delft: Now Publishers

Texto completo disponível

Citações Citado por
7
Shape Analysis
Shape Analysis
Material Type:
Artigo 		Adicionar ao Meu Espaço

Shape Analysis

Chang, Bor-Yuh Evan ; Drăgoi, Cezara ; Manevich, Roman ; Rinetzky, Noam ; Rival, Xavier

Foundations and trends in programming languages, 2020-01, Vol.6 (1-2), p.1-158 [Periódico revisado por pares]

Boston - Delft: Now Publishers

Texto completo disponível

Citações Citado por
8
QED at Large: A Survey of Engineering of Formally Verified Software
QED at Large: A Survey of Engineering of Formally Verified Software
Material Type:
Artigo 		Adicionar ao Meu Espaço

QED at Large: A Survey of Engineering of Formally Verified Software

Ringer, Talia ; Palmskog, Karl ; Sergey, Ilya ; Gligoric, Milos ; Tatlock, Zachary

Foundations and trends in programming languages, 2019-01, Vol.5 (2-3), p.102-281 [Periódico revisado por pares]

Boston - Delft: Now Publishers

Texto completo disponível

Citações Citado por
9
Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation
Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation
Material Type:
Artigo 		Adicionar ao Meu Espaço

Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation

Miné, Antoine

Foundations and trends in programming languages, 2017-01, Vol.4 (3-4), p.120-372 [Periódico revisado por pares]

Boston - Delft: Now Publishers

Texto completo disponível

Citações Citado por
10
Computer-Assisted Query Formulation
Computer-Assisted Query Formulation
Material Type:
Artigo 		Adicionar ao Meu Espaço

Computer-Assisted Query Formulation

Cheung, Alvin ; Solar-Lezama, Armando

Foundations and trends in programming languages, 2016-01, Vol.3 (1), p.1-94 [Periódico revisado por pares]

Boston - Delft: Now Publishers

Texto completo disponível

Citações Citado por
Resultados 1 2 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (18)

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.