Search Results - "Formal Definitions AND Theory Keywords JavaScript~"

A Trusted Mechanised JavaScript Specification

Authors: Martin Bodin Arthur Charguéraud Daniele Filaretti et al.

Contributors: Martin Bodin Arthur Charguéraud Daniele Filaretti et al.

Source: http://www.doc.ic.ac.uk/~gds/papers/jscert_popl14.pdf.

Subject Terms: Categories and Subject Descriptors D.3.1 [Programming Lan- guages, Formal Definitions and Theory Keywords JavaScript, mechanised semantics, Coq

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.639.1400; http://www.doc.ic.ac.uk/~gds/papers/jscert_popl14.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.639.1400
http://www.doc.ic.ac.uk/~gds/papers/jscert_popl14.pdf

A trusted mechanised JavaScript specification

Authors: Martin Bodin Arthur Charguéraud Daniele Filaretti et al.

Contributors: Martin Bodin Arthur Charguéraud Daniele Filaretti et al.

Source: http://www.irisa.fr/celtique/aschmitt/papers/JSCert-POPL14.pdf.

Subject Terms: Categories and Subject Descriptors D.3.1 [Programming Lan- guages, Formal Definitions and Theory Keywords JavaScript, mechanised semantics, Coq

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.588.9403

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.588.9403
http://www.irisa.fr/celtique/aschmitt/papers/JSCert-POPL14.pdf