A Trusted Mechanised JavaScript Specification

File(s)

jscert_popl14.pdf (303.29 KB)

Accepted version

Show more

Author(s)

Bodin, M

Chargueraud, A

Filaretti, D

Gardner, P

Maffeis, S

more

Type

Conference Paper

Date Issued

2014-01-01

Date Acceptance

2014-01-01

Citation

ACM SIGPLAN Notices - POPL '14, 2014, 49 (1), pp.87-100

URI

http://hdl.handle.net/10044/1/23817

DOI

https://www.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

License URL

http://www.rioxx.net/licenses/all-rights-reserved

Source

41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)

Subjects

Science & Technology

Technology

Computer Science, Software Engineering

Computer Science

COMPUTER SCIENCE, SOFTWARE ENGINEERING

JavaScript

mechanised semantics

Coq

SEMANTICS

LOGIC

Publication Status

Published

Start Date

2014-01-22

Finish Date

2014-01-24

Coverage Spatial

San Diego, CA