Mostra el registre d'ítem simple

Visible semantics: an algebraic semantics for automatic verification of algorithms

dc.contributor.authorPalasí Lallana, Vicent Ramon
dc.date.accessioned2016-11-28T12:08:53Z
dc.date.available2016-11-28T12:08:53Z
dc.date.issued1996-04
dc.identifier.citationPalasi, V. "Visible semantics: an algebraic semantics for automatic verification of algorithms". 1996.
dc.identifier.urihttp://hdl.handle.net/2117/97306
dc.description.abstractA 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.
dc.format.extent16 p.
dc.language.isoeng
dc.relation.ispartofseriesLSI-96-26-R
dc.subjectÀrees temàtiques de la UPC::Informàtica::Informàtica teòrica
dc.subject.otherVisible semantics
dc.subject.otherAlgebraic specifications
dc.subject.otherProgram correctness
dc.titleVisible semantics: an algebraic semantics for automatic verification of algorithms
dc.typeExternal research report
dc.rights.accessOpen Access
local.identifier.drac1904626
dc.description.versionPostprint (published version)
local.citation.authorPalasi, V.


Fitxers d'aquest items

Thumbnail
Nom:
1400244691.pdf
Mida:
1,446Mb
Format:
PDF
Visualitza/Obre

Aquest ítem apareix a les col·leccions següents

    Mostra el registre d'ítem simple