Posizione corrente: Home -  Air Force 1 -  Nike Air Force 1 Basso -  Nike Air Force 1 Basso Uomo -  Nike Lunar Force 1 Easter Hunt QS Basso Uomo Bianco/Peach Blossom

AirForce-5330 Nike Force 1 Basso Uomo Bianco/Peach Blossom,mostrare come la semantica procedurali dei

AirForce-5330 Nike Force 1 Basso Uomo Bianco/Peach Blossom,mostrare come la semantica procedurali dei

Il contributo di questa AirMax-2691 Uomo Nike Air Max 95 Scarpe Nero Grigio ricerca è quello di risolvere contemporaneamente due problemi. Un problema è quella di definire una semantica per il taglio che non presenta unsoundness nella semantica dichiarativi dei programmi PROLOG. L'altro problema è AirForce-5330 Nike Force 1 Basso Uomo Bianco/Peach Blossom quello di fornire una metodologia generale per l'eliminazione di tempo di calcolo sprecato dai programmi PROLOG. È impiegato L'approccio prescrittivo o approccio attivo alla progettazione linguaggio formale. Specifiche prescrittivi sono utilizzati come linee guida per modificare sei modelli formali semantici (3 modelli denotazionali e 3 modelli operativi). I modelli semantici formali utilizzati sono (1) la semantica denotazionale e operativi (di PROLOG) di Jones e Mycroft [13]; (2) la semantica denotazionale e operativi (di PROLOG) per Debray e Mishra [8]; e (3) la semantica denotazionale e operativi (di PROLOG) per Arbab e Berry [2]. Questi modelli sono utilizzati come base per mostrare come la 'semantica procedurali' dei programmi PROLOG possono essere fatte per conformarsi più strettamente alla semantica dichiarativa di PROLOG e allo stesso tempo che mostra come il taglio può essere utilizzato per il massimo vantaggio nel fare programmi PROLOG più efficiente.
0 Commenti


Parlare la vostra mente
Commenti Recenti