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

Shipment time

Expected shipping within 2 Days
Access to 30 Million+ solutions Free
Ask 50 Questions from expert AI-Powered Answers
7 days-trial

Total Price:

$0

List Price: $48.45 Savings: $48.45(100%)
Access to 30 Million+ solutions
Ask 50 Questions from expert AI-Powered Answers 24/7 Tutor Help Detailed solutions for Aliasing In Object Oriented Programming Types Analysis And Verification LNCS 7850

Price:

$9.99

/month

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.

Book 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.