Navigacija
Lista poslednjih: 16, 32, 64, 128 poruka.

Prevodjenje iz proceduralnog u deklarativni i ekvivalencija deklarativnih programa

[es] :: Art of Programming :: Prevodjenje iz proceduralnog u deklarativni i ekvivalencija deklarativnih programa

[ Pregleda: 2732 | Odgovora: 0 ] > FB > Twit

Postavi temu Odgovori

Autor

Pretraga teme: Traži
Markiranje Štampanje RSS

vlaiv
Vladimir Vlaisavljevic
Novi Sad

Član broj: 15993
Poruke: 352
212.200.249.*



+1 Profil

icon Prevodjenje iz proceduralnog u deklarativni i ekvivalencija deklarativnih programa05.11.2007. u 14:54 - pre 200 meseci
Da li neko zna gde se mogu naci opisi algoritama, ukoliko su razvijeni:

1. Za prevodjenje iz custom turing complete jednostavnog proceduralnog jezika u custom deklarativni jezik

Odnosno u slucaju da imamo neki jednostavan proceduralni jezik sa precizno definisanom sintaksom i tipovima podataka
i odgovarajuci deklarativni jezik sa istim tipovima podataka, treba mi algoritam koji ce dati odgovarajuci deklarativni oblik
na osnovu zadatog proceduralnog oblika (ukoliko postoji)

2. Algoritam za poredjenje dva deklarativna programa po funkcionalnosti

Koji bi radio nesto slicno sledecem:

utvrditi da li je logicki izraz ekvivalentan drugom logickom izrazu bez upotrebe tablica istinitosti, odnosno
transformacijama prvog izraza doci do drugog, samo ne sa logickim izrazima nego sa deklarativnim programima ..
 
Odgovor na temu

[es] :: Art of Programming :: Prevodjenje iz proceduralnog u deklarativni i ekvivalencija deklarativnih programa

[ Pregleda: 2732 | Odgovora: 0 ] > FB > Twit

Postavi temu Odgovori

Navigacija
Lista poslednjih: 16, 32, 64, 128 poruka.