JavaScript Language Design and Implementation in Tandem

Automatic extraction of mechanized specifications from prose enables creating reference language implementations, detecting conformance bugs, and generating specialized implementations in a correct-by-construction approach.

Read at Acm