Optimal Data Flow Analysis via Obserrational Equivalence.
Edición de la obra Optimal Data Flow Analysis via Obserrational Equivalence
| Autor | Bernhard Steffen |
|---|---|
| Editorial | University of Edinburgh Laboratory forFoundations of Computer Science |
| Fecha de publicación | 1989 |
| Lugar | Edinburgh |
| Idioma | inglés |
| Páginas | 16 |
| Serie | LFCS report series -- ECS-LFCS-89-82 |
| Número de Cutter | S817o |