Implementing Polymorphic Typing in a Logic Programming Language

Implementing Polymorphic Typing in a Logic Programming Language (1993)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Keehang Kwon , Gopalan Nadathur , Debra Sue Wilson

Venue:	COMPUTER LANGUAGES
Citations:	17 - 10 self

Versions

Version History

Metadata Version 5

User correction supplied by mph

Datum	Value	Source
TITLE	Implementing Polymorphic Typing in a Logic Programming Language	user correction - Legacy Corrections
AUTHOR NAME	Keehang Kwon	user correction
AUTHOR AFFIL	Department of Computer Science; Duke University, Durham	user correction
AUTHOR ADDR	NC 27706	user correction
AUTHOR NAME	Gopalan Nadathur	user correction
AUTHOR AFFIL	Department of Computer Science; Duke University, Durham	user correction
AUTHOR ADDR	NC 27706	user correction
AUTHOR NAME	Debra Sue Wilson	user correction
AUTHOR AFFIL	Department of Computer Science; Duke University, Durham	user correction
AUTHOR ADDR	NC 27706	user correction
ABSTRACT	Introducing types into a logic programming language leads to the need for typed unification within the computation model. In the presence of polymorphism and higher-order features, this aspect forces analysis of types at run-time. We propose extensions to the Warren Abstract Machine (WAM) that permit such analysis to be done with reasonable efficiency. Much information about the structures of types is present at compile-time, and we show that this information can be used to considerably reduce the work during execution. We illustrate our ideas in the context of a typed version of Prolog. We describe a modified representation for terms, new instructions and additional data areas that in conjunction with existing WAM structures suffice to implement this language. The nature of compiled code is illustrated through examples, and the kind of run-time overheads that are incurred for processing types is analyzed, especially in those cases where others have shown that type checking can be eliminated during execution. The ideas	user correction
YEAR	1993	user correction - Legacy Corrections
VENUE	COMPUTER LANGUAGES	user correction
VENUE TYPE	JOURNAL	INFERENCE
VOLUME	20	INFERENCE
CITATIONS	26 found	ParsCit 1.0