Babelsberg/RML

Babelsberg/RML
Author :
Publisher : Universitätsverlag Potsdam
Total Pages : 72
Release :
ISBN-10 : 9783869563480
ISBN-13 : 3869563486
Rating : 4/5 (486 Downloads)

Book Synopsis Babelsberg/RML by : Felgentreff, Tim

Download or read book Babelsberg/RML written by Felgentreff, Tim and published by Universitätsverlag Potsdam. This book was released on 2016-07-05 with total page 72 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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 Related Books

Babelsberg/RML
Language: en
Pages: 72
Authors: Felgentreff, Tim
Categories: Computers
Type: BOOK - Published: 2016-07-05 - Publisher: Universitätsverlag Potsdam

DOWNLOAD EBOOK

New programming language designs are often evaluated on concrete implementations. However, in order to draw conclusions about the language design from the evalu
Improving hosted continuous integration services
Language: en
Pages: 128
Authors: Weyand, Christopher
Categories: Computers
Type: BOOK - Published: 2017-02-17 - Publisher: Universitätsverlag Potsdam

DOWNLOAD EBOOK

Developing large software projects is a complicated task and can be demanding for developers. Continuous integration is common practice for reducing complexity.
On the operationalization of graph queries with generalized discrimination networks
Language: en
Pages: 46
Authors: Beyhl, Thomas
Categories: Computers
Type: BOOK - Published: 2017-01-12 - Publisher: Universitätsverlag Potsdam

DOWNLOAD EBOOK

Graph queries have lately gained increased interest due to application areas such as social networks, biological networks, or model queries. For the relational
Automatic verification of behavior preservation at the transformation level for relational model transformation
Language: en
Pages: 126
Authors: Dyck, Johannes
Categories: Computers
Type: BOOK - Published: 2017-04-26 - Publisher: Universitätsverlag Potsdam

DOWNLOAD EBOOK

The correctness of model transformations is a crucial element for model-driven engineering of high quality software. In particular, behavior preservation is the
Proceedings of the Third HPI Cloud Symposium
Language: en
Pages: 78
Authors: Bartok, David
Categories: Computers
Type: BOOK - Published: 2016-07-05 - Publisher: Universitätsverlag Potsdam

DOWNLOAD EBOOK

Every year, the Hasso Plattner Institute (HPI) invites guests from industry and academia to a collaborative scientific workshop on the topic “Operating the Cl