• Home
  • Ada Advantages
  • Learn Ada
  • Resources
  • ARA Community
Site Map | Contact Us

Ada Resource Association

News and resource for the Ada programming language

  • Blog Mar 24 '11

    Academic booth at Ada Connection event

    by jayre
    At this year’s Ada Connection (http://conferences.ncl.ac.uk/adaconnection2011/) taking place in Edinburgh we have allotted a booth for GAP members. We will have a poster listing all member universities and you will have the possibility to send course flyers for browsing on the tabletop. For more information and to manifest your interest, please don’t hesitate to contact Joan.Atkinson(at)ncl.ac.uk.
    Read Blog Entry
  • Blog Mar 23 '11

    [Video] Open source products for the dev...

    by jayre

    AdaCore Sales & Business Development Manager, Michaël Friess talks about how GNAT Pro’s latest tools, GNATcoverage and GNATemulator among others, are designed to help programmers in their effort to develop certifiable applications.


    Read Blog Entry
  • Blog Mar 17 '11

    DragonLace.Net added to free tools and l...

    by jayre

    We’ve just added DragonLace.Net to the free tools and libraries resource page.

    Over the last year, John Marino has developed a substantial set of patches and now GNAT from GCC-4.6 passes the entire ACATS and gnat.dg testsuite without failure on FreeBSD, DragonFlyBSD, and NetBSD on both the AMD64 and i386 platforms. The version is called “GNAT-AUX” and it also builds on OpenBSD with only a single failure the same two platforms.

    For more info: http://www.dragonlace.net/

    Read Blog Entry
  • Blog Mar 17 '11

    New collaborative group for Ada develope...

    by AdaCore

    A new group for Ada developers has been created on bettercodes.org. You can access it at: http://bettercodes.org/groups/ada/home/

    bettercodes.org aims to engage software developers to share their ideas and empower them to turn those ideas into code that works. It does so by connecting like-minded developers and enables them to collaborate on anything related to coding.

    Read Blog Entry
  • Blog Jan 21 '11

    SPARK Ada in High SIL Active Life Suppor...

    by AdaCore
    In this video of a talk given at the SPARK User Group 2010 High Assurance Software Symposium, Alex Deas from Deep Life talks about developing software for deep water rebreathers which must meet the rigorous European safety standard SIL3.
    Read Blog Entry
  • Blog Jan 21 '11

    Autocoding – Do we still need soft...

    by AdaCore
    In this video of a talk given at the SPARK User Group 2010 High Assurance Software Symposium, Rod White from MBDA talks about Autocoding and raises the question: Do we still need software design?
    Read Blog Entry
  • Blog Jan 10 '11

    Designing a High Assurance Workstation (...

    by jayre
    In this video of a talk given at the SPARK User Group 2010 High Assurance Software Symposium, Alex Senier from secunet talks about their experiences building High Assurance workstations.
    Read Blog Entry
  • Blog Nov 20 '07

    Ada helps win WWII Cryptography Challeng...

    by admin

    Joachim Schüeth, a German amateur radio enthusiast from Bonn, won a challenge to crack secret messages encoded by a World War Two cipher.

    His program, written in Ada especially for the challenge, cracked the supposedly hardest part of the challenge — deciphering the code of a Lorenz SZ42 encryptor, which has approximately 16 million million million permutations — in just 46 seconds. He completed the entire challenge in less than two hours.

    Reuters quoted Andrew Clark, director of Britain’s National Museum of Computing, as saying “It’s a brilliant piece of work, really really impressive”.

    We here at the AdaIC would like to think that his choice of programming language had something to do with his success. Schüeth’s web site describes Ada as a “powerful and beautiful language [which] has become my favourite”, a sentiment shared by many Ada programmers. In a more recent interview, he explains that “Ada avoids programming errors by its strong typing model, so you spend less time on debugging your programs”, which obviously helped him during the challenge.

    He continues by saying “I can only encourage everyone to have a look at Ada. It is a modern programming language with all the features of object oriented languages, like high level abstraction, information hiding, generic programming (similar to C++ templates), and function / operator overloading. Personally I do not have much use for inheritance and run-time polymorphism, but Ada has that too, with concepts that seem more logical to me than those of C++ or Java.” We couldn’t have said it better ourselves.

    For news reports on the challenge, see German amateur cracks WWII mega-code in 46 seconds [Reuters] and German amateur code breaker defeats Colossus [The Register].

    For an article on the challenge by Schüeth, see Tunny, Colossus and Ada: Keeping an Open Mind [DDJ].

    For interviews with Schüeth, see Cracking the Lorenz Code [AdaCore] and Beating Colossus: an interview with Joachim Schüeth [NetBSD].

    Also see Joachim Schüeth’s web site on the challenge.

    Read Blog Entry
previous12345next
  • Press
  • Articles
  • Events
ARA Sponsor Spotlight
PTC Logo View All Sponsors

Upcoming Events

  • Ada-Europe 2023
    Jun 13-16, 2023 Lisbon, Portugal

View All Events



AdaCore PTC Logo

Ada Advantages

  • Ada 202x
  • Ada Overview
  • More Topics of Interest
  • Features & Benefits
  • Ada Comparison Chart
  • Ada 2012
  • Ada 2005
  • SPARK Ada
  • Ada and Multicore
  • Case Studies
  • Ada Projects

Ada Projects

Learn Ada

  • Learning Materials
  • Professional Training
  • Ada in Academia

Resources

  • Ada Standards
  • Free Tools & Libraries
  • Professional Tools and Services
  • Associations
  • Ada on the Web

ARA Community

  • Sponsors
  • Compilers and Conformity
  • Join the ARA
  • ARA Press Releases

Copyright © 2009-2023 Ada Resource Association Site Map | Contact Us