Programming Languages and Systems

DOI10.1007/11575467MaRDI QIDQ5493394zbMATH OpenFDO

Authors Fernando Magno Quintão Pereira, Jens Palsberg

Publication date 20 October 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11575467

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• scientific article; zbMATH DE number 1956454
• Register Allocation in Structured Programs
• scientific article; zbMATH DE number 910892
• Using graph coloring in an algebraic compiler
• Foundations of Software Science and Computation Structures

Cited in

(12)

• On a graph-theoretical model for cyclic register allocation
• Using graph coloring in an algebraic compiler
• A hybrid evolutionary algorithm for graph coloring register allocation
• Formal verification of coalescing graph-coloring register allocation
• scientific article; zbMATH DE number 1956454 (Why is no real title available?)
• scientific article; zbMATH DE number 910892 (Why is no real title available?)
• Succinct data structures for chordal graphs
• Circular-arc graph coloring: On chords and circuits in the meeting graph
• An efficient customized clock allocation algorithm for a class of timed automata
• Approximate minimum sum colorings and maximum \(k\)-colorable subgraphs of chordal graphs
• Closing the gap: minimum space optimal time distance labeling scheme for interval graphs
• Approximating maximum weight \(K\)-colorable subgraphs in chordal graphs

Describes a project that uses

Uses Software

• Joeq

This page was built for publication: Programming Languages and Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5493394)