Foundations and Trends® in Programming Languages
Latest Publications

TOTAL DOCUMENTS

18
(FIVE YEARS 6)

H-INDEX

7
(FIVE YEARS 1)

Published By Now Publishers

2325-1131, 2325-1107
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Refinement Types: A Tutorial

2021 ◽  
Vol 6 (3–4) ◽  
pp. 159-317
Author(s):  
Ranjit Jhala ◽  
Niki Vazou
Keyword(s):  
Refinement Types

scholarly journals Neurosymbolic Programming

2021 ◽  
Vol 7 (3) ◽  
pp. 158-243
Author(s):  
Swarat Chaudhuri ◽  
Kevin Ellis ◽  
Oleksandr Polozov ◽  
Rishabh Singh ◽  
Armando Solar-Lezama ◽  
...  

scholarly journals Shape Analysis

2020 ◽  
Vol 6 (1–2) ◽  
pp. 1-158
Author(s):  
Bor-Yuh Evan Chang ◽  
Cezara Drăgoi ◽  
Roman Manevich ◽  
Noam Rinetzky ◽  
Xavier Rival
Keyword(s):  
Shape Analysis

scholarly journals Progress of Concurrent Objects

2020 ◽  
Vol 5 (4) ◽  
pp. 282-414
Author(s):  
Hongjin Liang ◽  
Xinyu Feng
Keyword(s):  
Concurrent Objects

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

2019 ◽  
Vol 5 (2-3) ◽  
pp. 102-281 ◽  
Author(s):  
Talia Ringer ◽  
Karl Palmskog ◽  
Ilya Sergey ◽  
Milos Gligoric ◽  
Zachary Tatlock
Keyword(s):  
Verified Software

Program Synthesis

2017 ◽  
Vol 4 (1-2) ◽  
pp. 1-119 ◽  
Author(s):  
Sumit Gulwani ◽  
Oleksandr Polozov ◽  
Rishabh Singh
Keyword(s):  
Program Synthesis

Programming with “Big Code”

2016 ◽  
Vol 3 (4) ◽  
pp. 231-284 ◽  
Author(s):  
Martin Vechev ◽  
Eran Yahav
Load More ...
Sign in / Sign up

Export Citation Format

Share Document