Programming with Big Code: Lessons, Techniques and Applications

Thumbnail
Metadata only
Author
Bielik, Pavol
Raychev, Veselin
Vechev, Martin
Date
2015
Type
  • Conference Paper
Publication status
published
External links
Search via SFX
Editor
Ball, Thomas
Bodik, Rastislav
Krishnamurthi, Shriram
Lerner, Benjamin S.
Morrisett, Greg
Book title
1st Summit on Advances in Programming Languages (SNAPL 2015)
Journal / series
Leibniz International Proceedings in Informatics (LIPIcs)
Volume
32
Pages / Article No.
41 - 50
Publisher
Leibniz-Zentrum für Informatik
Event
1st Summit on Advances in Programming Languages (SNAPL 2015), Asilomar, CA, USA, May 3-6, 2015
Subject
Probabilistic tools; Probabilistic inference and learning; Program analysis; Open-source software
Organisational unit
03948 - Vechev, Martin / Vechev, Martin  
Notes
.
More
Show all metadata
ETH Bibliography
yes
Altmetrics