Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Language workbench
open-in-new
<h2 id="examples">Examples</h2> <ul><li><a href="/facts/Racket_(programming_language)/5n7LW08b">Racket</a> is a cross-platform language development workbench including compiler, JIT compiler, IDE and command-line tools designed to accommodate creating both <a href="/facts/Domain-specific_language/n18H1foD">domain-specific languages</a> and completely new languages with facilities to add new notation, constrain constructs, and create IDE tools.<a class="footnote-ref" id="fnref:5" href="#fn:5"><sup>5</sup></a><a class="footnote-ref" id="fnref:6" href="#fn:6"><sup>6</sup></a><a class="footnote-ref" id="fnref:7" href="#fn:7"><sup>7</sup></a></li></ul> <ul><li><a href="/facts/JetBrains_MPS/eKNIAbHa">JetBrains MPS</a> is a tool for designing domain-specific languages. It uses projectional editing which allows overcoming the limits of language parsers, and building DSL editors, such as ones with tables and diagrams. It implements language-oriented programming. MPS combines an environment for language definition, a language workbench, and an Integrated Development Environment (IDE) for such languages.<a class="footnote-ref" id="fnref:8" href="#fn:8"><sup>8</sup></a></li> <li><a href="/facts/Kermeta/EP5BKJHA">Kermeta</a> is an open-source academic language workbench. The Kermeta workbench uses three different meta-languages: one meta-language for the abstract syntax (aligned with <a href="/facts/Emof/7MDs1aA8">Emof</a>); one for the static semantics (aligned with <a href="/facts/Object_Constraint_Language/coIhRpJb">OCL</a>) and one for the behavioral semantics (called the Kermeta Language itself).</li> <li>Melange is a language workbench that provides a modular approach for customizing, assembling and integrating multiple domain-specific language (DSL) specifications and implementations.<a class="footnote-ref" id="fnref:9" href="#fn:9"><sup>9</sup></a></li> <li>Spoofax.<a class="footnote-ref" id="fnref:10" href="#fn:10"><sup>10</sup></a> is an open-source language workbench for generating parsers, type checkers, compilers, interpreters, as well as IDE plugins for <a href="/facts/Eclipse_(software)/YoqHVjas">Eclipse</a> and <a href="/facts/IntelliJ/h689XrQz">IntelliJ</a>.<a class="footnote-ref" id="fnref:11" href="#fn:11"><sup>11</sup></a> It uses <a href="/facts/Syntax_Definition_Formalism/j5VpTd4W">SDF</a> and a <a href="/facts/Scannerless_parsing/xH5lmd0Y">scannerless</a> <a href="/facts/GLR_parser/Pn3I1AYt">GLR parser</a> for syntax, and formalisms derived from Stratego/XT for semantics.</li></ul> <ul><li><a href="/facts/Xtext/bEJf0EPS">Xtext</a> is an open-source software framework for developing programming languages and domain-specific languages (DSLs). Unlike standard parser generators, Xtext generates not only a parser, but also a class model for the abstract syntax tree. In addition, it provides a fully featured, customizable Eclipse-based IDE.<a class="footnote-ref" id="fnref:12" href="#fn:12"><sup>12</sup></a></li></ul> <ul><li>Meeduse<a class="footnote-ref" id="fnref:13" href="#fn:13"><sup>13</sup></a> is an EMF-based framework that allows one to build, prove and animate executable domain-specific languages (xDSLs) using the B Method. The tool embeds ProB, and animator and model-checker of the B Method.<a class="footnote-ref" id="fnref:14" href="#fn:14"><sup>14</sup></a></li></ul> <h2 id="see-also">See also</h2> <ul><li><a href="/facts/Language-oriented_programming/xsp4hqoy">Language-oriented programming</a></li> <li><a href="/facts/Compiler-compiler/Ud51JPrv">Compiler-compiler</a></li> <li>Category:Language workbench</li></ul> <h2 id="external-links">External links</h2> <ul><li>Martin Fowler, <a href="http://martinfowler.com/bliki/LanguageWorkbench.html">Language Workbench</a></li> <li><a href="http://www.languageworkbenches.net/">Language Workbench Challenge</a></li></ul> <h2 id="references">References</h2> <ol> <li id="fn:1"><p>Fowler, Martin. "LanguageWorkbench". Retrieved 14 April 2015. <a href="http://martinfowler.com/bliki/LanguageWorkbench.html" target="_blank">http://martinfowler.com/bliki/LanguageWorkbench.html</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li> <li id="fn:2"><p>Fowler, Martin (12 June 2005). "Language Workbenches: The Killer-App for Domain Specific Languages?". Retrieved 14 April 2015. <a href="http://martinfowler.com/articles/languageWorkbench.html" target="_blank">http://martinfowler.com/articles/languageWorkbench.html</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></p></li> <li id="fn:3"><p>Fowler, Martin (12 June 2005). "Language Workbenches: The Killer-App for Domain Specific Languages?". Retrieved 14 April 2015. <a href="http://martinfowler.com/articles/languageWorkbench.html" target="_blank">http://martinfowler.com/articles/languageWorkbench.html</a> <a href="#fnref:3" class="footnote-back-ref">↩</a></p></li> <li id="fn:4"><p>Fowler, Martin. "LanguageWorkbench". Retrieved 14 April 2015. <a href="http://martinfowler.com/bliki/LanguageWorkbench.html" target="_blank">http://martinfowler.com/bliki/LanguageWorkbench.html</a> <a href="#fnref:4" class="footnote-back-ref">↩</a></p></li> <li id="fn:5"><p>Feltey, Daniel; Florence, Spencer P.; Knutson, Tim; St-Amour, Vincent; Culpepper, Ryan; Flatt, Matthew; Findler, Robert Bruce; Felleisen, Matthias (2016). "Languages the Racket Way" (PDF). 2016 Language Workbench Challenge (65). Retrieved 9 June 2019. <a href="http://florence.io/resources/papers/Racket_LWC_2016.pdf" target="_blank">http://florence.io/resources/papers/Racket_LWC_2016.pdf</a> <a href="#fnref:5" class="footnote-back-ref">↩</a></p></li> <li id="fn:6"><p>Tobin-Hochstadt, S.; St-Amour, V.; Culpepper, R.; Flatt, M.; Felleisen, M. (2011). "Languages as Libraries" (PDF). Programming Language Design and Implementation. <a href="http://www.ccs.neu.edu/scheme/pubs/pldi11-thacff.pdf" target="_blank">http://www.ccs.neu.edu/scheme/pubs/pldi11-thacff.pdf</a> <a href="#fnref:6" class="footnote-back-ref">↩</a></p></li> <li id="fn:7"><p>Flatt, Matthew (2012). "Creating Languages in Racket". Communications of the ACM. Retrieved 2012-04-08. <a href="http://cacm.acm.org/magazines/2012/1/144809-creating-languages-in-racket" target="_blank">http://cacm.acm.org/magazines/2012/1/144809-creating-languages-in-racket</a> <a href="#fnref:7" class="footnote-back-ref">↩</a></p></li> <li id="fn:8"><p>"JetBrains MPS: Domain-Specific Language Creator". <a href="https://www.jetbrains.com/mps/" target="_blank">https://www.jetbrains.com/mps/</a> <a href="#fnref:8" class="footnote-back-ref">↩</a></p></li> <li id="fn:9"><p>"Melange". <a href="http://melange.inria.fr" target="_blank">http://melange.inria.fr</a> <a href="#fnref:9" class="footnote-back-ref">↩</a></p></li> <li id="fn:10"><p>"The Spoofax Language Workbench". <a href="https://www.spoofax.dev/" target="_blank">https://www.spoofax.dev/</a> <a href="#fnref:10" class="footnote-back-ref">↩</a></p></li> <li id="fn:11"><p>Kats, Lennart C. L.; Visser, Eelco (2010). "The Spoofax language workbench: rules for declarative specification of languages and IDEs.". Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2010. doi:10.1145/1869459.1869497. <a href="https://lennart.cl/publications/the-spoofax-language-workbench" target="_blank">https://lennart.cl/publications/the-spoofax-language-workbench</a> <a href="#fnref:11" class="footnote-back-ref">↩</a></p></li> <li id="fn:12"><p>"Xtext". <a href="https://eclipse.org/Xtext/" target="_blank">https://eclipse.org/Xtext/</a> <a href="#fnref:12" class="footnote-back-ref">↩</a></p></li> <li id="fn:13"><p>Idani, Akram; Ledru, Yves; Vega, German (December 2020). "Alliance of Model Driven Engineering with a proof-based Formal Approach". Innovations in Systems and Software Engineering (ISSE), NASA Journal. 6 (3): 289–307. doi:10.1007/s11334-020-00366-3. <a href="https://doi.org/10.1007%2Fs11334-020-00366-3" target="_blank">https://doi.org/10.1007%2Fs11334-020-00366-3</a> <a href="#fnref:13" class="footnote-back-ref">↩</a></p></li> <li id="fn:14"><p>"Meeduse". <a href="http://vasco.imag.fr/tools/meeduse/" target="_blank">http://vasco.imag.fr/tools/meeduse/</a> <a href="#fnref:14" class="footnote-back-ref">↩</a></p></li> </ol>