作者
Thom Fruhwirth, Ehud Shapiro, Moshe Y Vardi, Eyal Yardeni
发表日期
1991/1/1
研讨会论文
Proceedings 1991 Sixth Annual IEEE Symposium on Logic in Computer Science
页码范围
300,301,302,303,304,305,306,307,308,309-300,301,302,303,304,305,306,307,308,309
出版商
IEEE Computer Society
简介
Optimistic type systems for logic programs are considered. In such systems types are conservative approximations to the success set of the program predicates. The use of logic programs to describe types is proposed. It is argued that this approach unifies the denotational and operational approaches to descriptive type systems and is simpler and more natural than previous approaches. The focus is on the use of unary-predicate programs to describe the types. A proper class of unary-predicate programs is identified, and it is shown that it is expensive enough to express several notions of types. An analogy with two-way automata and a correspondence with alternating algorithms are used to obtain a complexity characterization of type inference and type checking. This characterization is facilitated by the use of logic programs to represent types.<>
引用总数
学术搜索中的文章
T Fruhwirth, E Shapiro, MY Vardi, E Yardeni - Proceedings 1991 Sixth Annual IEEE Symposium on …, 1991