Conference paper
Permissive Subsorted Partial Logic in CASL
This paper presents a permissive subsorted partial logic used in the CoFI Algebraic Specification Language. In contrast to other order-sorted logics, subsorting is not modeled by set inclusions, but by injective embeddings allowing for more general models in which subtypes can have different data type representations.
Furthermore, there are no restrictions like monotonicity, regularity or local filtration on signatures at all. Instead, the use of overloaded functions and predicates in formulae is required to be sufficiently disambiguated, such that all parses have the same semantics. An overload resolution algorithm is sketched.
Language: | English |
---|---|
Publisher: | Springer Verlag |
Year: | 1997 |
Pages: | 91-107 |
Proceedings: | AMAST'97 |
ISBN: | 3540638881 , 354069661X , 354069661x , 9783540638889 and 9783540696612 |
Types: | Conference paper |
DOI: | 10.1007/BFb0000465 |
ORCIDs: | Haxthausen, Anne Elisabeth |