Skip to content

Towards a program logic for JavaScript.

Philippa Gardner, Sergio Maffeis, Gareth David Smith

VenueA*POPL
Year2012
ProceedingsPOPL

Browse the full POPL paper archive.