A Trusted Mechanised JavaScript Specification

File Description SizeFormat 
jscert_popl14.pdfAccepted version303.29 kBUnknownDownload
Title: A Trusted Mechanised JavaScript Specification
Author(s): Bodin, M
Chargueraud, A
Filaretti, D
Gardner, P
Maffeis, S
Naudziuniene, D
Schmitt, A
Smith, G
Item Type: Conference Paper
Publication Date: 1-Jan-2014
URI: http://hdl.handle.net/10044/1/23817
DOI: https://dx.doi.org/10.1145/2535838.2535876
ISSN: 1523-2867
Publisher: Association for Computing Machinery (ACM)
Start Page: 87
End Page: 100
Journal / Book Title: ACM SIGPLAN Notices - POPL '14
Volume: 49
Issue: 1
Copyright Statement: © ACM, 2015. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in ACM SIGPLAN Notices - POPL '14, http://doi.acm.org/10.1145/2535838.2535876
Conference Name: 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)
Publication Status: Published
Start Date: 2014-01-22
Finish Date: 2014-01-24
Conference Place: San Diego, CA
Appears in Collections:Faculty of Engineering
Computing



Items in Spiral are protected by copyright, with all rights reserved, unless otherwise indicated.

Creative Commons