агодження програм до систем автоматичної перевірки правильності програм.
Застосування мови Паскаль значно підняло "планку" надійності розроблюваних програм за рахунок вимог Паскаля до опису використовуються у програмі змінних, перевірки узгодженості програми при компіляції без її виконання. p> Використання в Паскалі простих і гнучких структур управління: розгалужень, циклів.
З іншого боку мова програмування СІ - це універсальна мова з багатим набором операторів і компактним способом запису виразів. Завдяки гнучкості, виразності і компактності своїй конструкції СІ завоював найбільшу популярність у середовищі професійних програмістів і широко використовується при розробці системних і прикладних програм.
Мова СІ являє собою вдалий компроміс між бажанням розташовувати тими можливостями, які зазвичай надають програмісту настільки зрозумілі та зручні мови високого рівня, і прагненням ефективно використовувати особливості комп'ютера. Крім набору засобів, притаманних сучасних мов програмування високого рівня (структурність, модульність, визначаються типи даних) в нього включені кошти для програмування "майже" на рівні асемблера (Використання покажчиків, побітового операції, операції зсуву). Великий набір операторів дозволяє писати компактні й ефективні програми. Однак, такі потужні засоби вимагають від програміста обережності, акуратності і хорошого знання мови з усіма його перевагами і недоліками. На відміну від мов програмування типу Паскаль, що вимагають жорсткої дисципліни програмування обмежують свободу програміста, сприяють усуненню багатьох помилок ще на стадії їх трансляції, мова СІ надає програмісту найбільшу свободу. Однак, відповідальність за коректність програм при цьому повністю лягає на програміста.
У даний час є велика кількість систем програмування на СІ для різних типів комп'ютерів. Розроблено багато бібліотек модулів, інструментальних засобів розробки й налагодження, що полегшують створення нових програм. Програми на СІ володіють високою мобільністю, без яких або змін вони переносяться, транслюються і виконуються на машинах різного типу. p> У рамках навчального проекту реалізована програмна система, звана в Надалі конвертором, що дозволяє автоматизувати процес перетворення програм на Паскалі в програми на мові СІ. На вхід конвертора подається синтаксично правильна програма на Паскалі, на виході його формується еквівалентна їй програма на мові СІ.
Задача розробки конвертора відноситься до класу задач автоматизації реінженерінга програм із застарілих мов на сучасні мови програмування і нові платформи. Розробка конвертора для мови Паскаль є досить трудомісткою в силу особливостей синтаксису і семантики мови Паскаль.
Мова Паскаль не допускає використання принципів замовчувань і скорочень, вимагає суворого дотримання відповідності типів даних, у ньому жорстко регламентовані структура і місце описи програмних об'єктів.
У силу вище сказаного, навіть ...
