Paul Krill
Editor at Large

Ada language upgrade includes contract capabilities, multicore accommodations

news
Aug 17, 20122 mins

Programming language still gets thumbs-down from XML co-inventor, but AdaCore officials are excited about upgrade

While a longtime dignitary in the technology space still is not convinced, advocates of the Ada programming language are touting benefits of an upgrade to the platform as well as their company’s accommodations for it.

Ada 2012, an upgrade to language due later this year, will feature contract capabilities, multicore programming accommodations, iterators, and quantified expressions, said Ed Schonberg, vice president of AdaCore, which provides commercial software solutions based on Ada, including the company’s Gnat Pro Ada development platform. Gnat Pro will be upgraded to support Ada 2012 in a few weeks, while Ada 2012 is awaiting affirmation at the ISO (International Standards Organization) standard, Schonberg said.

Ada, though, has had a strong critic in Tim Bray, co-author of the XML specification who is now at Google. He referred to Ada in 2008 as “the most expensive, embarrassing failure in the history of computer languages.”

Asked about Ada again this week, Bray held firm. “I stand by my comments,” he said in an email. Schonberg said Bray’s comment was uninformed, but he acknowledged that Ada did initially suffer from a delay in delivery of compilers, which were also expensive.

The language is geared to embedded applications, AdaCore officials said. With contracts, programs can be annotated to provide additional explanations on how a system is supposed to work, Schonberg said. Users indicate under what condition a program can be called and what can be guaranteed. “[Contracts serve] as a formal agreement between the user of the API and the author of an API. [They] indicate more clearly what the intent of a piece of software is,” said Schonberg, who noted that Ada “is really the first mainstream language to have contracts built into the language.”

Historically, Ada has had an advantage over C, C++, and Java in its provision of parallel capabilities, Schonberg said. “Parallelism was built into the language. It was not a matter of libraries of threads that were outside the language whose semantics were not well-defined.”

This article, “Ada language upgrade includes contract capabilities, multicore accommodations ,” was originally published at InfoWorld.com. Follow the latest developments in business technology news and get a digest of the key stories each day in the InfoWorld Daily newsletter. For the latest developments in business technology news, follow InfoWorld.com on Twitter.

Paul Krill

Paul Krill is editor at large at InfoWorld. Paul has been covering computer technology as a news and feature reporter for more than 35 years, including 30 years at InfoWorld. He has specialized in coverage of software development tools and technologies since the 1990s, and he continues to lead InfoWorld’s news coverage of software development platforms including Java and .NET and programming languages including JavaScript, TypeScript, PHP, Python, Ruby, Rust, and Go. Long trusted as a reporter who prioritizes accuracy, integrity, and the best interests of readers, Paul is sought out by technology companies and industry organizations who want to reach InfoWorld’s audience of software developers and other information technology professionals. Paul has won a “Best Technology News Coverage” award from IDG.

More from this author