Advanced search
1 file | 4.15 MB
Author
Organization
Keywords
program analysis, abstract interpretation, Constraint Handling Rules

Downloads

  • (...).pdf
    • full text
    • |
    • UGent only
    • |
    • PDF
    • |
    • 4.15 MB

Citation

Please use this url to cite or link to this publication:

Chicago
Schrijvers, Tom. 2011. “Abstract Interpretation.” In Constraint Handling Rules : Compilation, Execution, and Analysis, ed. Thom Fruehwirth and Frank Raiser, 283–310. Norderstedt, Germany: Books on Demand GmbH.
APA
Schrijvers, T. (2011). Abstract interpretation. In T. Fruehwirth & F. Raiser (Eds.), Constraint handling rules : compilation, execution, and analysis (pp. 283–310). Norderstedt, Germany: Books on Demand GmbH.
Vancouver
1.
Schrijvers T. Abstract interpretation. In: Fruehwirth T, Raiser F, editors. Constraint handling rules : compilation, execution, and analysis. Norderstedt, Germany: Books on Demand GmbH; 2011. p. 283–310.
MLA
Schrijvers, Tom. “Abstract Interpretation.” Constraint Handling Rules : Compilation, Execution, and Analysis. Ed. Thom Fruehwirth & Frank Raiser. Norderstedt, Germany: Books on Demand GmbH, 2011. 283–310. Print.
@incollection{1202261,
  author       = {Schrijvers, Tom},
  booktitle    = {Constraint handling rules : compilation, execution, and analysis},
  editor       = {Fruehwirth, Thom and Raiser, Frank},
  isbn         = {9783839115916},
  keyword      = {program analysis,abstract interpretation,Constraint Handling Rules},
  language     = {eng},
  pages        = {283--310},
  publisher    = {Books on Demand GmbH},
  title        = {Abstract interpretation},
  year         = {2011},
}