Acm
2 months agoJavaScript
JavaScript Language Design and Implementation in Tandem
Mechanized specifications enable better language design and implementation, paving the way for detecting bugs and generating various types of implementations. [ more ]