Home
Categories
EXPLORE
History
Music
Society & Culture
Business
Health & Fitness
Religion & Spirituality
Fiction
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
2 weeks 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
2 months 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