AdaCore - PDFSEARCH.IO - Document Search Engine

AdaCore
Results: 123

#	Item
61	1 Rationale for Ada 2005: 2 Access types John Barnes John Barnes Informatics, 11 Albert Road, Caversham, Reading RG4 7AN, UK; Tel: +[removed]; email: [removed] Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-15 13:59:54 Null Pointer Ada C Is functions C Sharp 2.0 Nullable type Computing Software engineering Computer programming
62 $Skein_Start_New_Type(ctx,CFG_FINAL); #define Skein_Start_New_Type(ctxPtr,BLK_TYPE) { Skein_Set_T0_T1(ctxPtr,0,SKEIN_T1_FLAG_FIRST \| SKEIN_T1_BLK_TYPE_##BLK_TYPE); (ctxPtr)->h.bCnt=0; }$	Skein_Start_New_Type(ctx,CFG_FINAL); #define Skein_Start_New_Type(ctxPtr,BLK_TYPE) { Skein_Set_T0_T1(ctxPtr,0,SKEIN_T1_FLAG_FIRST \| SKEIN_T1_BLK_TYPE_##BLK_TYPE); (ctxPtr)->h.bCnt=0; } Add to Reading List Source URL: www.adacore.com Language: English - Date: 2013-11-04 08:44:53 Computing O0 GNAT CTX
63	1 Rationale for Ada 2005: 1 Object oriented model John Barnes John Barnes Informatics, 11 Albert Road, Caversham, Reading RG4 7AN, UK; Tel: +[removed]; email: [removed] Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-15 13:59:55 Data types Object-oriented programming Procedural programming languages Cross-platform software Type theory Ada Subtype polymorphism Pointer Objective-C Software engineering Computing Computer programming
64	JohnBar nes enBr osgol Wi t Add to Reading List Source URL: www.adacore.com Language: English - Date: 2013-05-23 18:27:04 Ada programming language Procedural programming languages Type theory Data types Object-oriented programming Ada SPARK A Sharp Pointer Computing Software engineering Computer programming
65	1 Rationale for Ada 2005: Epilogue John Barnes John Barnes Informatics, 11 Albert Road, Caversham, Reading RG4 7AN, UK; Tel: +[removed]; email: [removed] Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-15 14:00:11 Data types Ada Immutable object Subroutine Pointer Type conversion CLU Function overloading Integer Software engineering Computing Computer programming
66	A brief introduction to Ada 2012 by John Barnes Chapter 2 - Expressions Add to Reading List Source URL: www.adacore.com Language: English - Date: 2012-07-05 09:44:30 Procedural programming languages Quantification Predicate logic Semantics Data types Conditional ALGOL 68 Control flow Switch statement Software engineering Computing Computer programming
67	John Barnes Contracts and Aspects 2 Add to Reading List Source URL: www.adacore.com Language: English - Date: 2013-08-21 10:02:43 Procedural programming languages Ada Ada programming language C programming language Directive Subroutine SPARK Postcondition ConTeXt Computing Software engineering Computer programming
68	Towards Testing Model Transformation Chains Using Precondition Construction in Algebraic Graph Transformation Elie Richa1,2 , Etienne Borde1 , Laurent Pautet1 Matteo Bordin2 , and José F. Ruiz2 1 Add to Reading List Source URL: www.adacore.com Language: English - Date: 2014-10-09 10:02:01 Graph rewriting Software development Theoretical computer science Graph theory Object Constraint Language Transformation language Metamodeling Model transformation Predicate transformer semantics Unified Modeling Language Systems engineering Software engineering
69	1 Rationale for Ada 2005: 6 Predefined library John Barnes John Barnes Informatics, 11 Albert Road, Caversham, Reading RG4 7AN, UK; Tel: +[removed]; email: [removed] Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-15 14:00:09 Data types Subroutines Time scales Ada Primitive types Parameter Coordinated Universal Time Leap second Constructor Software engineering Computing Computer programming
70	1 Rationale for Ada 2005: 6a Containers John Barnes John Barnes Informatics, 11 Albert Road, Caversham, Reading RG4 7AN, UK; Tel: +[removed]; email: [removed] Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-15 14:00:13 Mathematics Abstract data types Abstract algebra Linear algebra Data types Sequence container Associative containers Cursor Container Algebra Computing C++ Standard Library