Static Analysis Image close
Static Analysis
Static Analysis
Show Hide Adult Content
Static Analysis close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer Programming  
Programming languages

Static Analysis

10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$154.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $38.50 with Afterpay Learn more

6 weekly interest-free payments of $25.67 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 25 Jun - 5 Jul using International Courier

Explore more Lecture Notes in Computer Science,

See all products in this series

Trends in Functional Programming
$150.00
Trends in Functional Programming
Paperback / softback
Available - Usually ships in 3-4 weeks
The Munich Project CIP
$155.00
The Munich Project CIP
Paperback / softback
Available - Usually ships in 3-4 weeks
ESOP '88
$151.00
ESOP '88
Paperback / softback
Available - Usually ships in 3-4 weeks
Tools and Algorithms for the Construction and Analysis of Systems
$161.00
Tools and Algorithms for the Construction and Analysis of Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Conclog: A Methodological Approach to Concurrent Logic Programming by Jean-Marie Jacquet
$302.00
Conclog: A Methodological Approach to Concurrent Logic Programming
by Jean-Marie Jacquet ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Logic, Language, Information, and Computation
$150.00
Logic, Language, Information, and Computation
Paperback / softback
Available - Usually ships in 3-4 weeks
Semantics of Data Types
$153.00
Semantics of Data Types
Paperback / softback
Available - Usually ships in 3-4 weeks
Genetic Programming
$226.00
Genetic Programming
Paperback / softback
Available - Usually ships in 3-4 weeks
Combinators and Functional Programming Languages
$141.00
Combinators and Functional Programming Languages
Paperback / softback
Available - Usually ships in 3-4 weeks
Ada Software Tools Interfaces
$151.00
Ada Software Tools Interfaces
Paperback / softback
Available - Usually ships in 3-4 weeks
Compiler Specification and Verification by W. Polak
$118.00
Compiler Specification and Verification
by W. Polak ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Types for Proofs and Programs
$156.00
Types for Proofs and Programs
Paperback / softback
Available - Usually ships in 3-4 weeks
Logic and Machines: Decision Problems and Complexity
$157.00
Logic and Machines: Decision Problems and Complexity
Paperback / softback
Available - Usually ships in 3-4 weeks
Programming Languages and Systems
$137.00
Programming Languages and Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Languages and Compilers for Parallel Computing
$162.00
Languages and Compilers for Parallel Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
RIMS Symposium on Software Science and Engineering II
$161.00
RIMS Symposium on Software Science and Engineering II
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

The refereed proceedings of the 10th International Symposium on Static Analysis, SAS 2003, held in San Diego, CA, USA in June 2003 as part of FCRC 2003. The 25 revised full papers presented together with two invited contributions were carefully reviewed and selected from 82 submissions. The papers are organized in topical sections on static analysis of object-oriented languages, static analysis of concurrent languages, static analysis of functional languages, static analysis of procedural languages, static data analysis, static linear relation analysis, static analysis based program transformation, and static heap analysis.
Release date NZ
May 28th, 2003
Audience
  • Professional & Vocational
Contributor
  • Edited by Radhia Cousot
Illustrations
XIV, 510 p.
Pages
510
Dimensions
156x234x26
ISBN-13
9783540403258
Product ID
2809432

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Computer Programming >
Programming languages
Books >
Computers & Internet >
Computer programming / software development >
Programming & scripting languages: general