Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming
We present an ongoing formalization of algorithms of ECMAScript, the specification describing the... more We present an ongoing formalization of algorithms of ECMAScript, the specification describing the semantics of JavaScript, in a tiny functional metalanguage. We show that this formalization is concise, readable, maintainable, and textually close to the specification. We extract an OCaml interpreter from our description and run small JavaScript programs whose semantics is based on these algorithms.
We present JSkel, a formalization of the semantics of JavaScript in Skel, the concrete language u... more We present JSkel, a formalization of the semantics of JavaScript in Skel, the concrete language used to write skeletal semantics. We describe the improvements to Skel we designed and implemented to significantly simplify the formalization. We show the formalization is both close to the specification and executable.
Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming
We present an ongoing formalization of algorithms of ECMAScript, the specification describing the... more We present an ongoing formalization of algorithms of ECMAScript, the specification describing the semantics of JavaScript, in a tiny functional metalanguage. We show that this formalization is concise, readable, maintainable, and textually close to the specification. We extract an OCaml interpreter from our description and run small JavaScript programs whose semantics is based on these algorithms.
We present JSkel, a formalization of the semantics of JavaScript in Skel, the concrete language u... more We present JSkel, a formalization of the semantics of JavaScript in Skel, the concrete language used to write skeletal semantics. We describe the improvements to Skel we designed and implemented to significantly simplify the formalization. We show the formalization is both close to the specification and executable.
Uploads
Papers by Adam Khayam