An extended semantic analyzer for ADA'95

dc.contributor	Graduate Program in Computer Engineering.
dc.contributor.advisor	Özturan, Can.
dc.contributor.author	Karahan, Mehmet Özgür.
dc.date.accessioned	2023-03-16T10:00:22Z
dc.date.available	2023-03-16T10:00:22Z
dc.date.issued	2001.
dc.identifier.other	CMPE 2001 K37
dc.identifier.uri	http://digitalarchive.boun.edu.tr/handle/123456789/12178
dc.description.abstract	An extended semantic rule is a rule which we expect a program in a particular language to obey in addition to the standard semantic rules enforced by the compiler for the language. Such extended semantic rules may be necessary to ensure that software has certain software quality attributes. In this work, an Extended Semantic Rule Set (ESRS) that contains certain semantic restrictions for Ada'95 programs is defined and the effectiveness of that rule set to increase software quality attributes of Ada codes is examined. The work done in this thesis also describes the design and implementation of a software tool, a SemantiC Analyzer (SCA) that checks the compliance of a given Ada code to the Semantic Rule Set. The effectiveness of the Semantic Analyzer is discussed on sample input and its output is analyzed for a large set of previously compiled Ada code.
dc.publisher	Thesis (M.S.) - Bogazici University. Institue for Graduate Studies in Science and Engineering, 2001.
dc.relation	Includes appendices.
dc.relation	Includes appendices.
dc.subject.lcsh	Semantics.
dc.title	An extended semantic analyzer for ADA'95
dc.format.pages	x, 57 leaves :