Dynamic sort checking by sorting constraint consistency checking

Chen Jian (1993). Dynamic sort checking by sorting constraint consistency checking. In: Proceedings of the 1993 IEEE Region 10 Conference on Computer, Communication, Control and Power Engineering (TENCON '93). Part 1 (of 5), Beijing, China, (352-355). October 19, 1993-October 21, 1993.

Author Chen Jian
Title of paper Dynamic sort checking by sorting constraint consistency checking
Conference name Proceedings of the 1993 IEEE Region 10 Conference on Computer, Communication, Control and Power Engineering (TENCON '93). Part 1 (of 5)
Conference location Beijing, China
Conference dates October 19, 1993-October 21, 1993
Journal name Proceedings of the 10th IEEE Region Conference on Computer, Communication, Control and Power Engineering
Series Proceedings of the 10th IEEE Region Conference on Computer, Communication, Control and Power Engineering
Publisher Publ by IEEE
Publication Year 1993
Sub-type Fully published paper
ISBN 0780312333
Start page 352
End page 355
Total pages 4
Language eng
Abstract/Summary Integrating sorts (types) into logic programming languages increases expressiveness and evaluation efficiency. To support richer sort structures such as parametric and inclusion polymorphism, static sort checking is insufficient. Therefore efficient dynamic sort checking is an important issue in sorted logic programming. We first compare existing techniques for dynamic sort checking in the literature. Aiming to achieve more efficient dynamic sort checking, we propose a new evaluation procedure, based on constraint consistency checking, for sorted logic programs and goals.
Subjects 2200 Engineering
Q-Index Code E1
Q-Index Status Provisional Code
Institutional Status Unknown

Document type: Conference Paper
Sub-type: Fully published paper
Collection: Scopus Import - Archived
 
Versions
Version Filter Type
Citation counts: Scopus Citation Count Cited 0 times in Scopus Article
Google Scholar Search Google Scholar
Created: Tue, 04 Oct 2016, 12:48:52 EST by System User