Navigation section
domain specific language
About this tag
The tag domain specific language on WindowsForum.com covers BEK, a domain specific language developed by Microsoft Research for writing and analyzing string manipulation functions. BEK allows users to author sanitizers and answer questions about program equivalence, output strings, and composition. It supports automatic generation of C# and JavaScript code from the analyzed programs. This content is relevant for developers and researchers interested in formal methods, string analysis, and domain specific languages within the Microsoft ecosystem.
-
Modeling SDK for Microsoft Visual Studio 2015 RC
The Modeling SDK for Visual Studio 2015 RC contains Domain Specific Languages (DSL Tools) and the Architecture Tools SDK for Visual Studio 2015 RC. This SDK provides tools and templates for building Domain Specific Language designers and extending UML. You can build your own graphical or...- News
- Thread
- architecture tools designer domain specific language dsl extensions graphical tools modeling sdk templates uml visual studio
- Replies: 0
- Forum: Live RSS Feeds
-
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