Go back

Aliasing In Object Oriented Programming Types Analysis And Verification LNCS 7850(1st Edition)

Authors:

David Clarke ,Tobias Wrigstad ,James Noble

Free aliasing in object oriented programming types analysis and verification lncs 7850 1st edition david clarke
9 ratings
Cover Type:Hardcover
Condition:Used

In Stock

Include with your book

Free shipping: April 06, 2024
Access to 3 Million+ solutions Free
Ask 10 Questions from expert 200,000+ Expert answers
7 days-trial

Total Price:

$0

List Price: $48.45 Savings: $48.45(100%)

Book details

ISBN: 3642369456, 978-3642369452

Book publisher: Springer

Get your hands on the best-selling book Aliasing In Object Oriented Programming Types Analysis And Verification LNCS 7850 1st Edition for free. Feed your curiosity and let your imagination soar with the best stories coming out to you without hefty price tags. Browse SolutionInn to discover a treasure trove of fiction and non-fiction books where every page leads the reader to an undiscovered world. Start your literary adventure right away and also enjoy free shipping of these complimentary books to your door.

Aliasing In Object Oriented Programming Types Analysis And Verification LNCS 7850 1st Edition Summary: This book presents a survey of the state-of-the-art on techniques for dealing with aliasing in object-oriented programming. It marks the 20th anniversary of the paper The Geneva Convention On The Treatment of Object Aliasing by John Hogg, Doug Lea, Alan Wills, Dennis de Champeaux and Richard Holt. The 22 revised papers were carefully reviewed to ensure the highest quality.The contributions are organized in topical sections on the Geneva convention, ownership, concurrency, alias analysis, controlling effects, verification, programming languages, and visions.