BibSonomy :: bibtex  ::

tag user group author concept BibTeX key search:all search:dblp
A blue social bookmark and publication sharing system.
tags · relations · groups · popular
help · blog · about
login · register
dblp's BibTeX entry:  

Verifying the Correctness of Compiler Transformations on Basic Blocks using Abstract Interpretation.

PEPM, : 106-115, 1991.
Authors: Timothy S. McNerney
URL: http://dblp.uni-trier.de/db/conf/pepm/pepm91.html#McNerney91
Description: dblp
Tags: dblp
| URL | BibTeX  
@inproceedings{conf/pepm/McNerney91,
title = {Verifying the Correctness of Compiler Transformations on Basic Blocks using Abstract Interpretation.},
author = {Timothy S. McNerney},
booktitle = {PEPM},
pages = {106-115},
url = {http://dblp.uni-trier.de/db/conf/pepm/pepm91.html#McNerney91},
year = {1991},
description = {dblp},
date = {2002-12-16},
keywords = {dblp }
}