Techniques for modelling and verifying railway interlockings

The B-book: assigning programs to meanings

Choice Reviews Online · 1997 · 2.1K citations

Language Studies, Linguistics, Programming Languages +7

Domain-specific languages

Arie van Deursen, Paul Klint, Joost Visser · ACM SIGPLAN Notices · 2000 · 1.3K citations · Full text

Computing, Computer Science, Programming Languages +10

Domain-specific languages

2012 · 660 citations

Computing, Computer Science, Programming Languages +10

ProB: an automated analysis toolset for the B method

Michaël Leuschel, Michael Butler · International Journal on Software Tools for Technology Transfer · 2008 · 383 citations

Computing, Computer Science, Systems Analysis +5

Plenary talk III Domain-specific languages

Walid Taha · 2008 · 162 citations

Computing, Computer Science, Programming Languages +8