| |
Other News:
Download Free Trial of SofCheck Inspector™...
SofCheck Chairman and CTO Tucker Taft presents at SATE 2010
Vermont Technical College uses AdaMagic to develop it's CubeSat Lunar Lander/Orbiter project, set to launch in 2012
Vermont Technical College uses AdaMagic to deploy it's Alaskan Sea Ice Buoy
SofCheck Chairman and CTO Tucker Taft presents at Ada Europe 2010: An Introduction to ParaSail:
Parallel Specification and Implementation Language
SofCheck Chairman and CTO Tucker Taft authors "Integrating static analysis with a compiler and database" for Embedded Computing Design
Jack Ganssle of Embedded.com gives CodePeer™ high marks!
CodePeer™, a static analysis tool for GNAT, launched using SofCheck technology
SofCheck Chairman and CTO Tucker Taft presents at SIGAda 2009: The New Semantic Model in ASIS for Ada 2005
SofCheck Chairman and CTO Tucker Taft Is Simple Talks Geek of the Week!
SofCheck Chairman and CTO Tucker Taft presents at Ada UK 2009: Using Static Analysis as part of Code Review
SofCheck Chairman and CTO Tucker Taft presents at Ada Europe 2008:
Automatic Storage Management and Persistence of Complex Data Structures.
SofCheck Chairman and CTO Tucker Taft is interviewed by Techworld about the development and maintenance of Ada
SofCheck Chairman and CTO Tucker Taft presents at Ada UK 2007. Watch the video!
SofCheck has selected DevQuality as their European Sales and integration partner for their SofCheck Inspector&trade Static Analysis tool for Ada and Java
SofCheck Chairman and CTO Tucker Taft speaks at IEEE Homeland Security Conference
SofCheck Chairman and CTO Tucker Taft is keynote speaker at SIGAda 2006 in Albuquerque, NM
SofCheck Inspector™ for Java Ranks High in Fault Detection, Low in False Positives, Says Recent Research Study...
SofCheck Expands International Reach Through Distribution Agreement with Praxis High Integrity Systems...
SofCheck Names Caruso to Advisory Board...
SofCheck Joins Ada Resource Association...
Ada Helps Churn Out Less-Buggy Code...
|
|
BURLINGTON, Mass. (2010)
An Introduction to ParaSail:
Parallel Specification and Implementation Language
Abstract of Proposed Industrial Presentation, AdaEurope 2010.
S. Tucker Taft, SofCheck, Inc., Burlington, MA USA
This presentation will provide an introduction to "ParaSail." ParaSail is a new programming language being
designed from scratch, in the belief that a well-designed programming language can result in more productive
programmers building higher quality software. In the particular area of high-integrity software, including
both safety- critical software and high-security software, there is all the more reason to use the very best
programming language you can, because the problems you are trying to solve and the level of quality required
is at the very limits of what can be accomplished.
ParaSail is meant to address the goals of producing inherently safe and secure software, while taking advantage
of the wider availability of true parallel processing in the form of multi-core chips. It is intended to
promote a formal approach to software, where the program text includes pre- and postconditions, liberal use
of assertions and invariants, etc., with tool-supported proof of correctness with respect to the formal annotations.
The language is named ParaSail as an acronym for Parallel Specification and Implementation Language. ParaSail
is a completely new language, but it steals liberally from other programming languages, including the ML family,
the Algol/Pascal/Ada family, the C/C++/Java family, and the region-based languages (especially Cyclone). Perhaps
one significant deviation from the excellent baseline established by ML, Eiffel, Java, Scala, etc. is that
ParaSail is intended to avoid "fine-granule" garbage collection in favor of stack and region-based storage management.
The other major deviation from the above-named language families is that ParaSail is inherently parallel. The
programmer has to work harder to force sequential evaluation. By default, evaluation proceeds in parallel for
almost all constructs.
This presentation will provide examples of the features of ParaSail as currently designed, compare and contrast
it with other existing languages, and discuss the rationale behind the choices made in its design. We will also
identify the open issues needing resolution prior to completing the design of ParaSail.
Click here for presentation slides
Ada Europe 2010
For further information, visit
www.sofcheck.com, or contact SofCheck by phone +1 (781) 750-8068, Fax +1 (781)
750-8064 or E-mail info@sofcheck.com.
Media Contact:
Eileen Pacheco
eileen@tango-group.com
+1 (781) 556-1026
|
|
