DefinePK

DefinePK hosts the largest index of Pakistani journals, research articles, news headlines, and videos. It also offers chapter-level book search.

Select Collection

Verification of Identifier and Reserved word of Lexical Analyzer Using Z Notation

Article Information

Get PDF View Article
Login to Add in Library

Title: Verification of Identifier and Reserved word of Lexical Analyzer Using Z Notation

Authors: ZAHEER AHMAD, MUHAMMAD RIZWAN BABAR, F Ahmad

Journal: VFAST Transactions on Software Engineering

HEC Recognition History
Category From To
Y 2024-10-01 2025-12-31
Y 2023-07-01 2024-09-30
Y 2022-07-01 2023-06-30
Y 2021-07-01 2022-06-30

Publisher: VFAST-Research Platform

Country: Pakistan

Year: 2013

Volume: 1

Issue: 1

Language: English

DOI: 10.21015/vtse.v1i1.32

Categories
Computer Science (14978) Software Engineering (1373) Formal Methods (80) Programming Languages (38) Compiler Design (7)

Abstract

In this paper, we formalize the lexical analysis into a Z specification for verifying it in Z tool. Lexical analyzer is described as automata, further, we write the specification of it using an integration of automata and Z. This gives formal approach which can leads to its correctness. In this paper, we present the development and verification of a generic and simple lexical analyzer which is obtained from the integration of automata and Z-notations.

Paper summary is not available for this article yet.

Loading PDF...

Loading Statistics...