AdaCore - PDFSEARCH.IO - Document Search Engine

AdaCore
Results: 123

#	Item
1	MSST-2018-Tutorial-AdaCore-Part I-MAY-2018 Add to Reading List Source URL: storageconference.us Language: English - Date: 2018-05-15 17:50:17
2	Microsoft Word - SafeSecureAda.doc Add to Reading List Source URL: www.adacore.com - Date: 2015-12-14 11:47:17
3	technology corner professional training calendar highlights / November 2015–February 2016 Add to Reading List Source URL: www.adacore.com Language: English - Date: 2016-03-14 13:19:59 Ada SPARK CodePeer GNAT A Sharp Avionics software Computer programming Static program analysis Design by contract Subroutine CrazyFlie Embedded system
4	web news upcoming events calendar highlights / May–November 2015 Add to Reading List Source URL: www.adacore.com Language: English - Date: 2015-09-16 10:26:21 Ada SPARK GNAT Robert Dewar CodePeer A Sharp Act Computer programming Simulink Stateflow Static program analysis Design by contract
5	Frédéric Pothon ACG Solutions Dissimilar tools: Use cases and impact on tool qualification level Add to Reading List Source URL: www.adacore.com Language: English - Date: 2015-12-03 08:47:25
6	ParaSail: A Pointer-Free Path to Object-Oriented Parallel Programming S. Tucker Taft AdaCore 24 Muzzey Street Lexington, MAUSA Add to Reading List Source URL: www.cs.uwm.edu Language: English - Date: 2012-10-01 23:55:00
7	adacore_news_us_0406_p1.pdf Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-16 12:51:35
8	Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada Robert Dewar1 , Olivier Hainque2 , Dirk Craeynest3 , and Philippe Waroquiers3 1 Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-15 14:00:53 Software bugs Memory management Data types Uninitialized variable Type theory C Ada Reference Scalar Computing Software engineering Computer programming
9	Safety, Security, and Object-Oriented Programming Franco Gasperoni AdaCore, 8 rue de Milan, 75009 Paris, France Abstract Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-15 14:01:04 Object-oriented programming Method Cross-platform software Data types Virtual method table Objective-C Ada Dynamic dispatch Library Software engineering Computing Computer programming
10	Ada tagged object C structure Ptr : System.Address; gpointer user_data Add to Reading List Source URL: www.adacore.com - Date: 2011-12-15 14:00:44