Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%0 Journal Article
%1 journals/pacmpl/MeloRAP18
%A Melo, Leandro T. C.
%A Ribeiro, Rodrigo Geraldo
%A de Araújo, Marcus R.
%A Pereira, Fernando Magno Quintão
%D 2018
%J Proc. ACM Program. Lang.
%K dblp
%N POPL
%P 29:1-29:28
%T Inference of static semantics for incomplete C programs.
%U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl2.html#MeloRAP18
%V 2
@article{journals/pacmpl/MeloRAP18,
added-at = {2020-04-16T00:00:00.000+0200},
author = {Melo, Leandro T. C. and Ribeiro, Rodrigo Geraldo and de Araújo, Marcus R. and Pereira, Fernando Magno Quintão},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/22b7ae2bf6e69215fb7583ddd972a2f97/dblp},
ee = {https://doi.org/10.1145/3158117},
interhash = {b966510e40cb15fe889dbe13c31e6618},
intrahash = {2b7ae2bf6e69215fb7583ddd972a2f97},
journal = {Proc. ACM Program. Lang.},
keywords = {dblp},
number = {POPL},
pages = {29:1-29:28},
timestamp = {2020-04-20T12:42:18.000+0200},
title = {Inference of static semantics for incomplete C programs.},
url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl2.html#MeloRAP18},
volume = 2,
year = 2018
}
