uu.seUppsala universitets publikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
MiniZinc with strings
University of Melbourne, Melbourne, Australia.
Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datalogi. (ASTRA)
Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datalogi. (ASTRA)
Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datalogi. (ASTRA)
Visa övriga samt affilieringar
2017 (Engelska)Ingår i: Logic-Based Program Synthesis and Transformation, Springer, 2017, s. 59-75Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

Strings are extensively used in modern programming languages and constraints over strings of unknown length occur in a wide range of real-world applications such as software analysis and verification, testing, model checking, and web security. Nevertheless, practically no constraint programming solver natively supports string constraints. We introduce string variables and a suitable set of string constraints as builtin features of the MiniZinc modelling language. Furthermore, we define an interpreter for converting a MiniZinc model with strings into a FlatZinc instance relying only on integer variables. This conversion is obtained via rewrite rules, and does not require any extension of the existing FlatZinc specification. This provides a user-friendly interface for modelling combinatorial problems with strings, and enables both string and non-string solvers to actually solve such problems.

Ort, förlag, år, upplaga, sidor
Springer, 2017. s. 59-75
Serie
Lecture Notes in Computer Science, ISSN 0302-9743 ; 10184
Nationell ämneskategori
Datavetenskap (datalogi)
Identifikatorer
URN: urn:nbn:se:uu:diva-309538DOI: 10.1007/978-3-319-63139-4_4ISI: 000441349700004ISBN: 978-3-319-63138-7 (tryckt)ISBN: 978-3-319-63139-4 (digital)OAI: oai:DiVA.org:uu-309538DiVA, id: diva2:1052018
Konferens
26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR), September 6–8, 2016, Edinburgh, Scotland
Forskningsfinansiär
Vetenskapsrådet, 2015-04910Australian Research Council, LP140100437Tillgänglig från: 2017-07-25 Skapad: 2016-12-05 Senast uppdaterad: 2019-02-28Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltext

Personposter BETA

Flener, PierrePearson, JustinScott, Joseph D.

Sök vidare i DiVA

Av författaren/redaktören
Flener, PierrePearson, JustinScott, Joseph D.
Av organisationen
Datalogi
Datavetenskap (datalogi)

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 983 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf