|
Books > Computing & IT > Computer programming
|
Buy Now
Static Analysis - First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28 - 30, 1994. Proceedings (Paperback, 1994 ed.)
Loot Price: R1,814
Discovery Miles 18 140
|
|
|
Static Analysis - First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28 - 30, 1994. Proceedings (Paperback, 1994 ed.)
Series: Lecture Notes in Computer Science, 864
Expected to ship within 10 - 15 working days
|
This volume presents the proceedings of the First International
Static Analysis Symposium (SAS '94), held in Namur, Belgium in
September 1994.
The proceedings comprise 25 full refereed papers selected from 70
submissions as well as four invited contributions by Charles
Consel, Saumya K. Debray, Thomas W. Getzinger, and Nicolas
Halbwachs. The papers address static analysis aspects for various
programming paradigms and cover the following topics: generic
algorithms for fixpoint computations; program optimization,
transformation and verification; strictness-related analyses;
type-based analyses and type inference; dependency analyses and
abstract domain construction.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
(1)
