Many-Valued Logic, Partiality, and Abstraction in Formal Specification Languages
Artikel i vetenskaplig tidskrift, 2005

The purpose of this article is to clarify the role that many-valued logic can or should play in formal specification of software systems for modeling partiality. We analyse a representative set of specification languages. Our findings suggest that many-valued logic is less useful for modeling those aspects of partiality, for which it is traditionally intended: modeling non-termination and error values. On the other hand, many-valued logic is emerging as a mainstream tool in abstraction of formal analyses of various kinds, and we suggest that specification languages feature many-valued abstraction logics. © 2005 Oxford University Press.

Författare

Reiner Hähnle

Chalmers, Data- och informationsteknik, Datavetenskap

Logic Journal of the IGPL

1367-0751 (ISSN) 1368-9894 (eISSN)

Vol. 13 415-433

Ämneskategorier

Data- och informationsvetenskap

DOI

10.1093/jigpal/jzi032