Development of an industrial strength grammar for VDM (2005)
| Citations: | 3 - 3 self |
BibTeX
@TECHREPORT{Alves05developmentof,
author = {Tiago Alves and Program Underst and Re-engineering Calculi and Joost Visser and Joost Visser},
title = {Development of an industrial strength grammar for VDM},
institution = {},
year = {2005}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This report describes the development of an industrial strength grammar for the VDM specification language. We present both the development process and its result. The employed methodology can be described as iterative grammar engineering and includes the application of techniques such as grammar metrication, unit testing, and test coverage analysis. The result is a VDM grammar of industrial strength, in the sense that it is well-tested, it can be used for fast parsing of high volumes of VDM specifications, and it allows automatic generation of support for syntax tree representation, traversal, and interchange. 2 Development of an Industrial Strength Grammar for VDM 1
