Ghent University Academic Bibliography

Advanced

Abstract interpretation

Tom Schrijvers UGent (2011) Constraint handling rules : compilation, execution, and analysis. p.283-310
Please use this url to cite or link to this publication:
author
organization
year
type
bookChapter
publication status
published
subject
keyword
program analysis, abstract interpretation, Constraint Handling Rules
book title
Constraint handling rules : compilation, execution, and analysis
editor
Thom Fruehwirth and Frank Raiser
pages
283 - 310
publisher
Books on Demand GmbH
place of publication
Norderstedt, Germany
ISBN
9783839115916
language
English
UGent publication?
yes
classification
B2
copyright statement
I have transferred the copyright for this publication to the publisher
id
1202261
handle
http://hdl.handle.net/1854/LU-1202261
date created
2011-04-05 12:04:49
date last changed
2017-01-02 09:54:37
@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},
}

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.