Премини към съдържанието
didetyyyy_92

Помощ със задача по семантика на езиците за програмиране

Препоръчан отговор


Здравейте! Имам нужда от помощ за следната задача:Като се използва аксиоматичният подход да се синтезира подпрограма-метод, която да провери колко от елементите на масива a[0:n-1], където n>0, са 0.Масивът е разреден, ако повечето му елементи са 0.Да се изведат елементите на масива а и да се провери дали е разреден. Синтезираната PDL програма да се трансформира първо в Spec# програма,а след това в C# windows приложение.Благодаря предварително.

Сподели този отговор


Линк към този отговор
Сподели в други сайтове

Регистрирайте се или влезете в профила си за да коментирате

Трябва да имате регистрация за да може да коментирате това

Регистрирайте се

Създайте нова регистрация в нашия форум. Лесно е!

Нова регистрация

Вход

Имате регистрация? Влезте от тук.

Вход

×

Информация

Поставихме бисквитки на устройството ви за най-добро потребителско изживяване. Можете да промените настройките си за бисквитки, или в противен случай приемаме, че сте съгласни с нашите условия за ползване.