Logo del repository
  1. Home
 
Opzioni

Compiling and Executing Declarative Modeling Languages in Gecode

R. CIPRIANO
•
J. MAURO
•
DOVIER, Agostino
2008
  • conference object

Periodico
LECTURE NOTES IN COMPUTER SCIENCE
Abstract
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.
DOI
10.1007/978-3-540-89982-2_69
WOS
WOS:000262929700064
Archivio
http://hdl.handle.net/11390/690455
info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-58549104192
Diritti
metadata only access
Soggetti
  • Constraint Logic Prog...

  • Combinatorial problem...

Web of Science© citazioni
4
Data di acquisizione
Mar 12, 2024
Visualizzazioni
1
Data di acquisizione
Apr 19, 2024
Vedi dettagli
google-scholar
Get Involved!
  • Source Code
  • Documentation
  • Slack Channel
Make it your own

DSpace-CRIS can be extensively configured to meet your needs. Decide which information need to be collected and available with fine-grained security. Start updating the theme to match your nstitution's web identity.

Need professional help?

The original creators of DSpace-CRIS at 4Science can take your project to the next level, get in touch!

Realizzato con Software DSpace-CRIS - Estensione mantenuta e ottimizzata da 4Science

  • Impostazioni dei cookie
  • Informativa sulla privacy
  • Accordo con l'utente finale
  • Invia il tuo Feedback