Watch "SPARK Programming from AdaCore" Video at Engineering TV

Log In | About Us | Contact | Advertise

to the ETV Newsletter

Home
Companies
Technology
Programs
Trade Shows
Publications
Search:

Sign In | Support

-->

Related Videos

Now Playing:

ADA 2012 Language and Tools from AdaCore - Design East 2012

Now Playing:

SPARK Programming from AdaCore

Now Playing:

NIST Uses AdaCore's SPARK Language as Benchmark for Security

All Videos

Aerospace/Defense

Analog

Automotive

Communications

Consumer Electronics

EDA/CAD/CAM

Embedded

Energy

Medical

RF/Microwave

Robotics/Automation

Smart Power

Test and Measurement

More Engineering Videos

Follow Engineering TV

SPARK Programming from AdaCore

by Terry Knight

on October 06, 2011

Resources

AdaCore

ESC Boston 2011 Videos on Engineering TV

Get the Daily Engineering TV Newsletter. Cutting-edge videos delivered to your inbox.

Bill Wong of Electronic Design magazine talks with Greg Gicca at AdaCore about a programming language that is based on a subset of Ada called SPARK.

Hosted by: Bill Wong Videography by: Terry Knight Edited by: Terry Knight

Rate
Share
Embed

Permalink:

Size:

Embed Code:

Comments (0)

Add your comment

Powered by Magnify.net Privacy Send Us Feedback

related sites

Electronic Design | Electronic Design Europe | Electronic Design China | Microwaves & RF | Power Electronics Technology | Mobile Dev & Design

Machine Design | Medi

Related searches:
design adacore playing language knight

gipoco.com is neither affiliated with the authors of this page or responsible
for its contents. This is a safe-cache copy of the original web site.

gipoco.com is neither affiliated with the authors of this page nor responsible for its contents. This is a safe-cache copy of the original web site.