Arthur Charguéraud
Publications
by date
by topic
by venue
Software
CFML
TLC
PASL
FormalMetaCoq
OptiTrust
Teaching
Separation Logic
Coq tutorials
Concours Castor
France-ioi
Misc
The RE command
Home
–
Contact
@inproceedings{bodin-al-14-js, author = {Bodin, Martin and Chargu{\'e}raud, Arthur and Filaretti, Daniele and Gardner, Philippa and Maffeis, Sergio and Naud\v{z}i\={u}nien\.{e}, Daiva and Schmitt, Alan and Smith, Gareth}, title = {A Trusted Mechanised JavaScript Specification}, booktitle = {Proceedings of the 41st {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages}, series = {{POPL} '14}, year = {2014}, isbn = {978-1-4503-2544-8}, pages = {87--100}, numpages = {14}, doi = {10.1145/2535838.2535876}, acmid = {2535876}, publisher = {ACM}, address = {New York, NY, USA}, }