Inici | Què és? | Contacte
English | Castellano

Consultar RECERCAT

Per comunitats i
col·leccions Per data Per autors Per títols Per matèries

Consultar col·lecció

Per data Per autors Per títols Per matèries 

Estadístiques

Del document Tot RECERCAT

El meu RECERCAT

Entrar Alertes per correu-e
Directori d’altres repositoris 
Pàgina inicial del RECERCAT > Universitat Politècnica de Catalunya > Documents de recerca > Visualitza document

Per accedir als documents amb el text complet, si us plau, seguiu el següent enllaç: http://hdl.handle.net/2117/97235

Títol: Semàntica algebraica del llenguatge AL: l'algorisme alfa
Autor/a: Palasí Lallana, Vicent Ramon
Abstract:
Matèries: -Àrees temàtiques de la UPC::Informàtica::Llenguatges de programació
-AL language
-Algorisme alfa
-Semàntica algebraica
-Algebraic semantics
Drets:
Tipus de document: Article - Versió publicada
Informe
Compartir:          

Mostra el registre complet del document

Documents relacionats

Altres documents del mateix autor/a

Equivalence between executable OOZE and algebraic specification
Palasí Lallana, Vicent Ramon
Automatic deduction of the behavioral equivalence between two algebraic specifications
Palasí Lallana, Vicent Ramon
A Co-semidecision procedure for behavioral equivalence
Palasí Lallana, Vicent Ramon
Automatic verification of programs: algorithm ALICE
Palasí Lallana, Vicent Ramon
Reducció de l'equivalència inicial visible a teoremes inductius
Palasí Lallana, Vicent Ramon
Accessibilitat | Avís legal | Política de Cookies | Documents d'ús intern
 

Coordinació

 

Patrocini