AdaCore Labs in categories Multi-Core

  • ParaSail now part of the AdaCore technology family

    As part of the merger with SofCheck, a new parallel programming language called ParaSail is now part of the AdaCore technology family.  ParaSail stands for "Parallel Specification and Implementation Language," and is a marriage of formal methods and parallel programming.  

    Continue Reading »
    Tucker Taft
    Mar 2nd, 2012