Formal specification of a JavaScript module system.

Seonghoon Kang Sukyoung Ryu

Published in: OOPSLA (2012)

Keyphrases

formal specification
model checking
specification languages
web applications
specification language
object oriented design
open source
data abstraction
process algebra
reverse engineering
formal methods
concurrent systems
website
software components
model checker
temporal logic
scripting language