string manipulation

About this tag
String manipulation is a common programming task that involves altering, parsing, or generating text. On WindowsForum.com, discussions include practical string handling in scripting and programming, as well as advanced tools like BEK, a domain-specific language from Microsoft Research for writing and analyzing string functions. BEK allows developers to verify properties such as output equivalence and compose functions, then automatically generate C# or JavaScript code. These topics are relevant for developers working on Windows, web applications, or security sanitizers.

  1. VIDEO Take A Longer Length Of String

    :p
    • whoosh
    • Thread
    • extend string length programming help string length string manipulation
    • Replies: 1
    • Forum: The Water Cooler

  2. 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