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

Архивирана тема

Темата е твърде стара и е архивирана. Не можете да добавяте нови отговори в нея, но винаги можете да публикувате нова тема, в която да продължи дискусията. Регистрирайте се или влезте във вашия профил за да публикувате нова тема.

didetyyyy_92

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

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


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

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


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


×

Информация

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