CodePeer

#	Item
1	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
2	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
3	The use of value numbers in static analysis. By Tucker Taft, Director of Language Research, AdaCore. CodePeer uses value numbers as part of its static analysis. This is one of the keys to its power and its flexibility. T Add to Reading List Source URL: www.adacore.com Language: English - Date: 2012-02-17 10:21:35 Compiler construction Static single assignment form FO Lookup table Floating point Expected value Tango tree XPath 2.0 Computing Computer programming Theoretical computer science