Compiling and executing declarative modeling languages to gecode

Raffaele Cipriano*, Agostino Dovier, Jacopo Mauro

*Kontaktforfatter for dette arbejde

Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Abstrakt

We developed a compiler from SICStus Prolog CLP(FD) to Gecode and a compiler from MiniZinc to Gecode. We compared the running times of the executions of (standard) codes directly in the three languages and of the compiled codes for some classical problems. Performances of the compiled codes in Gecode improve those in the original languages and are comparable with running time of native Gecode code. This is a first step towards the definition of a unified declarative modeling tool for combinatorial problems.

OriginalsprogEngelsk
TitelLogic Programming - 24th International Conference, ICLP 2008, Proceedings
Antal sider5
Publikationsdato1. dec. 2008
Sider744-748
ISBN (Trykt)3540899812, 9783540899815
DOI
StatusUdgivet - 1. dec. 2008
Udgivet eksterntJa
Begivenhed24th International Conference on Logic Programming, ICLP 2008 - Udine, Italien
Varighed: 9. dec. 200813. dec. 2008

Konference

Konference24th International Conference on Logic Programming, ICLP 2008
LandItalien
ByUdine
Periode09/12/200813/12/2008
SponsorAssociation for Logic Programming, New Mexico State University, National Science Foundation, National ICT Australia, University of Udine
NavnLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vol/bind5366 LNCS
ISSN0302-9743

Fingeraftryk

Dyk ned i forskningsemnerne om 'Compiling and executing declarative modeling languages to gecode'. Sammen danner de et unikt fingeraftryk.

Citationsformater