Conte aos seus amigos sobre este item:
Live Data Structures in Logic Programs: Derivation by Means of Abstract Interpretation - Lecture Notes in Computer Science Anne Mulkers 1993 edition
Live Data Structures in Logic Programs: Derivation by Means of Abstract Interpretation - Lecture Notes in Computer Science
Anne Mulkers
Addresses the problem of memory re-use for logic programs through program analysis rather than by run-time garbage collection. The static analysis is constructed as an application of abstract interpretation for logic programs.
227 pages, biography
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 27 de maio de 1993 |
| ISBN13 | 9783540566946 |
| Editoras | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 227 |
| Dimensões | 155 × 233 × 12 mm · 340 g |
| Idioma | Inglês |