Resource Control Graphs
Research output: Contribution to journal › Journal article › Research › peer-review
Standard
Resource Control Graphs. / Moyen, Jean-Yves.
In: A C M Transactions on Computational Logic, Vol. 10, No. 4, 08.2009.Research output: Contribution to journal › Journal article › Research › peer-review
Harvard
Moyen, J-Y 2009, 'Resource Control Graphs', A C M Transactions on Computational Logic, vol. 10, no. 4. https://doi.org/10.1145/1555746.1555753
APA
Moyen, J-Y. (2009). Resource Control Graphs. A C M Transactions on Computational Logic, 10(4). https://doi.org/10.1145/1555746.1555753
Vancouver
Moyen J-Y. Resource Control Graphs. A C M Transactions on Computational Logic. 2009 Aug;10(4). https://doi.org/10.1145/1555746.1555753
Author
Bibtex
@article{e67ccc047d044303b90499b1968242a3,
title = "Resource Control Graphs",
keywords = "Algorithms, Theory, Verification, Implicit computational complexity, non-size increasing computation, program analysis, size change termination, program termination",
author = "Jean-Yves Moyen",
year = "2009",
month = aug,
doi = "10.1145/1555746.1555753",
language = "English",
volume = "10",
journal = "ACM Transactions on Computational Logic",
issn = "1529-3785",
publisher = "Association for Computing Machinery, Inc.",
number = "4",
}
RIS
TY - JOUR
T1 - Resource Control Graphs
AU - Moyen, Jean-Yves
PY - 2009/8
Y1 - 2009/8
KW - Algorithms
KW - Theory
KW - Verification
KW - Implicit computational complexity
KW - non-size increasing computation
KW - program analysis
KW - size change termination
KW - program termination
U2 - 10.1145/1555746.1555753
DO - 10.1145/1555746.1555753
M3 - Journal article
VL - 10
JO - ACM Transactions on Computational Logic
JF - ACM Transactions on Computational Logic
SN - 1529-3785
IS - 4
ER -
ID: 148647903