ECTOPIC--an extended translator of prolog into C++

Simple item page
dc.contributor.authorEscalante, Carlosen_US
dc.date.accessioned2024-08-13T22:16:41Z
dc.date.available2024-08-13T22:16:41Z
dc.date.copyright1992en_US
dc.date.issued1992
dc.degree.departmentDepartment of Computer Science
dc.degree.levelMaster of Science M.Sc.en
dc.description.abstractThis thesis describes the ECTOPIC system, a translator of Prolog to C++. The translator, entirely programmed in Prolog, includes two important optimizations: tail recursion optimization and clause indexing. ECTOPIC is an enhancement of the TOPIC system, a University of Victoria-IBM project, which supports multiĀ­lingual or mixed paradigm programming , but without incorporating some crucial optimizations such as tail recursion optimization and clause indexing. To implement these optimizations, a static analysis is performed to determine which Prolog predicates are determinate, using a method due to Debray. With the incorporation of these optimizations, ECTOPIC has been able to produce much better code than TOPIC for certain programs.en
dc.format.extent65 pages
dc.identifier.urihttps://hdl.handle.net/1828/17742
dc.rightsAvailable to the World Wide Weben_US
dc.subjectUN SDG 4: Quality Educationen
dc.titleECTOPIC--an extended translator of prolog into C++en_US
dc.typeThesisen_US

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
ESCALANTE_Carlos_MSc_1992_540808.pdf
Size:
20.62 MB
Format:
Adobe Portable Document Format
Download

Collections

Electronic Theses and Dissertations (ETD)
 
University of Victoria Libraries

We acknowledge and respect the LəkĢ“Ź·É™Å‹É™n (Songhees and Esquimalt) Peoples on whose territory the university stands, and the LəkĢ“Ź·É™Å‹É™n and WĢ±SƁNEĆ Peoples whose historical relationships with the land continue to this day.