Two-Level Functional Languages
Flemming Nielson, Hanne Riis Nielson, C. J. van Rijsbergen
Häftad
685 kr
630 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Fler format och utgåvor
Beskrivning
Program analysis concerns static techniques for computing reliable approximate information about the dynamic behaviour of programs. This book is unique in giving an overview of the four major approaches to program analysis: data flow analysis, constraint based analysis, abstract interpretation, and type and effect systems.
Produktinformation
Utforska kategorier
Innehållsförteckning
Hoppa över listan
Mer från samma författare
Type And Effect Systems: Behaviours For Concurrency
Torben Amtoft, Hanne Riis Nielson, Flemming Nielson
Inbunden
1 524 kr
Hoppa över listan
Du kanske också är intresserad av
Theory And Formal Methods Of Computing 94: Proceedings Of The Second Imperial College Workshop
C HANKIN I MACKIE, Chris Hankin, I Mackie, Rajagopal Nagarajan
Inbunden
2 517 kr
Coordination Programming: Mechanisms, Models And Semantics
ANDREOLI J M, Jean-marc Andreoli, Chris Hankin, D Le Metayer
Inbunden
2 304 kr