JSTAR: JavaScript Specification Type Analyzer using Refinement.

Jihyeok Park Seungmin An Wonho Shin Yusung Sim Sukyoung Ryu

Published in: ASE (2021)

Keyphrases

open source
website
databases
web services
data acquisition
high level
formal specification
provably correct