Academic Journals Database
Disseminating quality controlled scientific knowledge

LR(K) Parser Construction Using Bottom-up Formal Analysis

Author(s): Nazir Ahmad Zafar

Journal: Advances in Molecular Imaging
ISSN 2161-6728

Volume: 05;
Issue: 01;
Start page: 21;
Date: 2012;
Original page

Keywords: Compiler Construction | LR(K) Parser | Context-Free Grammar | Z Specification | Correctness | Verification

Design and construction of an error-free compiler is a difficult and challenging process. The main functionality of a compiler is to translate a source code to an executable machine code correctly and efficiently. In formal verification of software, semantics of a language has more meanings than the syntax. It means source program verification does not give guarantee the generated code is correct. This is because the compiler may lead to an incorrect target program due to bugs in itself. It means verification of a compiler is much more important than verification of a source program. In this paper, we present a new approach by linking context-free grammar and Z notation to construct LR(K) parser. This has several advantages because correctness of the compiler depends on describing rules that must be written in formal languages. First, we have defined grammar then language derivation procedure is given using right-most derivations. Verification of a given language is done by recursive procedures based on the words. Ambiguity of a language is checked and verified. The specification is analyzed and validated using Z/Eves tool. Formal proofs are presented using powerful techniques of reduction and rewriting available in Z/Eves.
RPA Switzerland

Robotic Process Automation Switzerland


Tango Jona
Tangokurs Rapperswil-Jona