It takes the average reader 1 hour and 12 minutes to read Babelsberg/RML by Felgentreff, Tim
Assuming a reading speed of 250 words per minute. Learn more
New programming language designs are often evaluated on concrete implementations. However, in order to draw conclusions about the language design from the evaluation of concrete programming languages, these implementations need to be verified against the formalism of the design. To that end, we also have to ensure that the design actually meets its stated goals. A useful tool for the latter has been to create an executable semantics from a formalism that can execute a test suite of examples. However, this mechanism so far did not allow to verify an implementation against the design. Babelsberg is a new design for a family of object-constraint languages. Recently, we have developed a formal semantics to clarify some issues in the design of those languages. Supplementing this work, we report here on how this formalism is turned into an executable operational semantics using the RML system. Furthermore, we show how we extended the executable semantics to create a framework that can generate test suites for the concrete Babelsberg implementations that provide traceability from the design to the language. Finally, we discuss how these test suites helped us find and correct mistakes in the Babelsberg implementation for JavaScript.
Babelsberg/RML by Felgentreff, Tim is 72 pages long, and a total of 18,144 words.
This makes it 24% the length of the average book. It also has 22% more words than the average book.
The average oral reading speed is 183 words per minute. This means it takes 1 hour and 39 minutes to read Babelsberg/RML aloud.
Babelsberg/RML is suitable for students ages 8 and up.
Note that there may be other factors that effect this rating besides length that are not factored in on this page. This may include things like complex language or sensitive topics not suitable for students of certain ages.
When deciding what to show young students always use your best judgement and consult a professional.
Babelsberg/RML by Felgentreff, Tim is sold by several retailers and bookshops. However, Read Time works with Amazon to provide an easier way to purchase books.
To buy Babelsberg/RML by Felgentreff, Tim on Amazon click the button below.
Buy Babelsberg/RML on Amazon