Sorted languages can improve the expressiveness and efficiency of reasoning. A conventional sorted language typically includes well-sortedness rules amongst the rules for well-formedness. A major disadvantage of this approach is that many intuitively meaningful expressions are ill-sorted and hence not part of the language. To overcome this limitation, soft sorting regards as well-formed, all firstorder expressions of the corresponding unsorted language, and lets the semantics be the basis for defining the significance of the sort syntax. In this paper we show how soft sortedness can be defined by abstract interpretations which characterise semantic properties of softly sorted expressions.
CITATION STYLE
Chen, J., & Staples, J. (1993). Defining soft sortedness by abstract interpretation. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 711 LNCS, pp. 362–371). Springer Verlag. https://doi.org/10.1007/3-540-57182-5_28
Mendeley helps you to discover research relevant for your work.