<--- Back to Details
First PageDocument Content
Computer programming / Type theory / Type conversion / Primitive data type / Subtype polymorphism / Ada / Array data type / Enumerated type / C / Software engineering / Computing / Data types
Date: 2012-03-22 11:54:57
Computer programming
Type theory
Type conversion
Primitive data type
Subtype polymorphism
Ada
Array data type
Enumerated type
C
Software engineering
Computing
Data types

Safe and Secure Software An Invitation to Ada

Add to Reading List

Source URL: www.adacore.com

Download Document from Source Website

File Size: 699,71 KB

Share Document on Facebook

Similar Documents

Computer arithmetic / Mathematics / Computing / Data types / Software engineering / C++ / Primitive data type / Integer / C++ classes / Computer number format / Comparison of C Sharp and Java

Reminder:  Lecture  slides ● Lecture   slides  are  posted   online  and  are  available  before   class ● Use  these  during  class  and  outside   of  class! ● If  you  can,  download   the

DocID: 1rtLw - View Document

Software engineering / Computing / C++ / Computer programming / Data types / Type theory / C / C++11 / Primitive data type / Type safety / Boolean data type / Template

A Proposal to Add Safe Integer Types to the Standard Library Technical Report Document number: P0228R0

DocID: 1r1fn - View Document

Computing / Data types / Primitive types / Character encoding / Internet protocols / String / Null / Lightweight Directory Access Protocol / Value / Boolean data type

Microsoft Word - KEK-GRID-CERTCRLPROFdoc

DocID: 1r0yN - View Document

Computing / C++ / Data types / Computer programming / Software engineering / C / Primitive types / Message Passing Interface / Sizeof / C++ classes / EXPRESS / Primitive data type

DRAFT Document for a Standard Message-Passing Interface Message Passing Interface Forum February 3, 2015 This work was supported in part by NSF and ARPA under NSF contract CDAand Esprit under project HPC Standar

DocID: 1qP29 - View Document

Computing / Data types / Primitive types / Character encoding / String / Null / Value / Boolean data type / Lightweight Directory Access Protocol

KEK GRID CA Certificate and CRL Profile VerOctober 8, 2009

DocID: 1qCSc - View Document