Visible semantics: an algebraic semantics for automatic verification of algorithms

Consultar RECERCAT

Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/97306

Título:	Visible semantics: an algebraic semantics for automatic verification of algorithms
Autor/a:	Palasí Lallana, Vicent Ramon
Abstract:	A new semantics for algebraic specifications, called visible semantics, is defined. Its most notable property is that it is specially suitable for dealing with the problem of program correctness. Some properties of this semantics are proved and some conclusions described.
Materia(s):	-Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica -Visible semantics -Algebraic specifications -Program correctness
Derechos:
Tipo de documento:	Artículo - Versión publicada Informe
Compartir:

Palasí Lallana, Vicent Ramon

Palasí Lallana, Vicent Ramon

Palasí Lallana, Vicent Ramon

Palasí Lallana, Vicent Ramon

Palasí Lallana, Vicent Ramon

Coordinación

Patrocinio