Live Data Structures in Logic Programs: Derivation by Means of Abstract Interpretation - Lecture Notes in Computer Science - Anne Mulkers - Bøker - Springer-Verlag Berlin and Heidelberg Gm - 9783540566946 - 27. mai 1993
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

Live Data Structures in Logic Programs: Derivation by Means of Abstract Interpretation - Lecture Notes in Computer Science 1993 edition

Pris
NOK 519

Bestillingsvarer

Forventes levert 30. sep - 8. okt
Få varsel om nye utgivelser fra Anne Mulkers
Legg til iMusic ønskeliste
eller

Ikke vurdert ennå

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

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 27. mai 1993
ISBN13 9783540566946
Utgivere Springer-Verlag Berlin and Heidelberg Gm
Antall sider 227
Mål 155 × 233 × 12 mm   ·   340 g
Språk Engelsk  

Mer fra samme **utgiver**