External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A trusted mechanised JavaSript specification

Martin Bodin, Arthur Charguéraud, Daniele Filaretti, Philippa Gardner, Sergio Maffeis, Daiva Naudziuniene, Alan Schmitt, Gareth Smith. A trusted mechanised JavaSript specification. In Suresh Jagannathan, Peter Sewell, editors, The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA, January 20-21, 2014. pages 87-100, ACM, 2014. [doi]

Authors

Martin Bodin

This author has not been identified. Look up 'Martin Bodin' in Google

Arthur Charguéraud

This author has not been identified. Look up 'Arthur Charguéraud' in Google

Daniele Filaretti

This author has not been identified. Look up 'Daniele Filaretti' in Google

Philippa Gardner

This author has not been identified. Look up 'Philippa Gardner' in Google

Sergio Maffeis

This author has not been identified. Look up 'Sergio Maffeis' in Google

Daiva Naudziuniene

This author has not been identified. Look up 'Daiva Naudziuniene' in Google

Alan Schmitt

This author has not been identified. Look up 'Alan Schmitt' in Google

Gareth Smith

This author has not been identified. Look up 'Gareth Smith' in Google
runs on