Home
Categories
EXPLORE
True Crime
Comedy
Business
Society & Culture
History
Sports
Health & Fitness
About Us
Contact Us
Copyright
© 2024 PodJoint
00:00 / 00:00
Sign in

or

Don't have an account?
Sign up
Forgot password
https://is1-ssl.mzstatic.com/image/thumb/Podcasts211/v4/76/e8/bf/76e8bfa6-aa31-a3bf-7a67-410aef875c2c/mza_6129175143813083552.jpg/600x600bb.jpg
Beyond memory safety with the Ada SPARK programming language
Kevin Chadwick
26 episodes
6 days ago
Discussions and news related to the memory safe Ada/SPARK programming languages. https://www.patreon.com/ada_re https://learn.adacore.com https://ada-lang.io
Show more...
Technology
RSS
All content for Beyond memory safety with the Ada SPARK programming language is the property of Kevin Chadwick and is served directly from their servers with no modification, redirects, or rehosting. The podcast is not affiliated with or endorsed by Podjoint in any way.
Discussions and news related to the memory safe Ada/SPARK programming languages. https://www.patreon.com/ada_re https://learn.adacore.com https://ada-lang.io
Show more...
Technology
https://d3t3ozftmdmh3i.cloudfront.net/production/podcast_uploaded_nologo/40744223/40744223-1710964268806-38c09ae90ead8.jpg
Comparing Development costs of C and Ada at Rational Software '95
Beyond memory safety with the Ada SPARK programming language
51 minutes 37 seconds
1 month ago
Comparing Development costs of C and Ada at Rational Software '95

This episode is generated by Googles Notebooklm based on the following source. Comparing Development costs of C and Ada March 30, 1995 by Stephen F. Zeigler, Ph.D. of Rational Software Corporation.


The key takeaway for me is that experienced C developers were thrown in to using Ada whilst learning on the job and yet consistently produced better results with Ada.


http://sunnyday.mit.edu/16.355/cada_art.html

Beyond memory safety with the Ada SPARK programming language
Discussions and news related to the memory safe Ada/SPARK programming languages. https://www.patreon.com/ada_re https://learn.adacore.com https://ada-lang.io