Concise Read-Only Specifications for Better Synthesis of Programs with Pointers. - Citegraph

Paper Info

Title
Concise Read-Only Specifications for Better Synthesis of Programs with Pointers.

Year	Venue	DocType
2020	European Joint Conferences on Theory And Practice of Software	Conference
Citations	PageRank	References
0	0.34	0
Authors
4

Authors (4 rows)

Cited by (0 rows)

References (0 rows)

Name	Order	Citations	PageRank
Andreea Costea	1	0	0.68
Amy Zhu	2	0	0.68
Nadia Polikarpova	3	169	16.60
Ilya Sergey	4	1	2.06

1