Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Constraint-based Code Generation
KTH, School of Information and Communication Technology (ICT), Software and Computer systems, SCS. SICS (Swedish Institute of Computer Science) and KTH (Royal Institute of Technology).ORCID iD: 0000-0002-2806-7333
KTH, School of Information and Communication Technology (ICT), Software and Computer systems, SCS.ORCID iD: 0000-0001-6794-6413
SICS (Swedish Institute of Computer Science).
SICS (Swedish Institute of Computer Science).
Show others and affiliations
2013 (English)In: Proceedings of the 16th International Workshop on Software and Compilers for Embedded Systems, M-SCOPES 2013, Association for Computing Machinery (ACM), 2013, 93-95 p.Conference paper, Published paper (Refereed)
Abstract [en]

Compiler back-ends generate assembly code by solving three main tasks: instruction selection, register allocation and instruction scheduling. We introduce constraint models and solving techniques for these code generation tasks and describe how the models can be composed to generate code in unison. The use of constraint programming, a technique to model and solve combinatorial problems, makes code generation simple, flexible, robust and potentially optimal.

Place, publisher, year, edition, pages
Association for Computing Machinery (ACM), 2013. 93-95 p.
Keyword [en]
Constraint programming, Instruction scheduling, Instruction selection, Register allocation
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:kth:diva-125069DOI: 10.1145/2463596.2486155Scopus ID: 2-s2.0-84893342426ISBN: 978-1-4503-2142-6 (print)OAI: oai:DiVA.org:kth-125069DiVA: diva2:639391
Conference
16th International Workshop on Software and Compilers for Embedded Systems, M-SCOPES 2013; St. Goar; Germany; 19 June 2013 through 21 June 2013
Note

QC 20140317

Available from: 2013-08-07 Created: 2013-08-07 Last updated: 2014-03-17Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Authority records BETA

Castañeda Lozano, RobertoHjort Blindell, GabrielSchulte, Christian

Search in DiVA

By author/editor
Castañeda Lozano, RobertoHjort Blindell, GabrielSchulte, Christian
By organisation
Software and Computer systems, SCS
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 149 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf