Basit öğe kaydını göster

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 :


Bu öğenin dosyaları

Bu öğe aşağıdaki koleksiyon(lar)da görünmektedir.

Basit öğe kaydını göster

Dijital Arşivde Ara


Göz at

Hesabım