Navigation section

bek

About this tag
BEK is a domain-specific language developed by Microsoft Research for writing and analyzing string manipulation functions. It allows developers to answer questions about program equivalence, output reachability, and composition order. After analysis, BEK can automatically generate C# or JavaScript implementations of the sanitizer. The tag covers content related to this research tool, including demonstrations by researchers David Molnar and Margus Veanes.
  1. News

    Windows 7 David Molnar and Margus Veanes - BEK - Domain Specific Language for String Manipulation Functions

    In this video, Link Removed and Link Removed, both Researchers at Microsoft Research, give a demo of BEK (you can try it too at Link Removed). BEK is a domain specific language for writing common string functions, combined with state of the art analysis. With BEK, you can answer questions like...
    • News
    • Thread
    • analysis bek demo domain specific language javascript microsoft research programming software development string manipulation
    • Replies: 0
    • Forum: Live RSS Feeds
Back
Top