About: Ada (programming language)

Property	Value
dbo:description	Programmiersprache (de) Programméiersprooch (lb) język programowania (pl) limbaj de programare (ro) linguagem de programação (pt) linguaggio di programmazione (it) linguaxe de programación (gl) llenguatge de programació (ca) lugha ya programu (sw) ohjelmointikieli (fi) programlama dili (tr) programlingvo (eo) programmeringssprog (da) programmeringsspråk (nn) programmin leid (sco) programovací jazyk (cs) programovací jazyk (sk) programspråk (sv) yezh programmiñ (br) язык программирования (ru) ծրագրավորման լեզու (hy) שפת תכנות (iw) प्रोग्रामिंग भाषा (hi) প্রোগ্রামিং ভাষা (bn) ਪ੍ਰੋਗਰਾਮਿੰਗ ਭਾਸ਼ਾ (pa) പ്രോഗ്രാമിങ് ഭാഷ (ml) プログラミング言語 (ja) 編程語言 (zh) langage de programmation informatique (fr) programmeertaal (nl) язык проґрамованя (rue) програмски језик (sr) இது ஒரு கணிய நிரல் மொழியாகும். (ta) мова програмування (uk) لغة برمجة (ar) programming language (en) gjuhë programimi (sq) iaith raglennu (cy) lenguaje de programación creado en 1980 (es) prorgamozási nyelv (hu) linguaggiu di prugrammazzioni chi estenni lu Pascal (scn) 고급 컴퓨터 프로그래밍 언어의 하나 (ko)
dbo:influenced	dbr:VHDL dbr:Java_(programming_language) dbr:C++ dbr:Chapel_(programming_language) dbr:D_(programming_language) dbr:Eiffel_(programming_language) dbr:Nim_(programming_language) dbr:Python_(programming_language) dbr:Seed7 dbr:Ruby_(programming_language) dbr:Drago_(programming_language) dbr:PL/pgSQL dbr:ParaSail_(programming_language) dbr:SQL/PSM dbr:PL/SQL
dbo:influencedBy	dbr:ALGOL_68 dbr:C++ dbr:Eiffel_(programming_language) dbr:Modula-2 dbr:Simula dbr:Smalltalk dbr:Pascal_(programming_language)
dbo:latestReleaseVersion	Ada 2022
dbo:thumbnail	wiki-commons:Special:FilePath/Ada_horizon_green_logo_with_slogan.svg?width=300
dbo:wikiPageExternalLink	http://archive.adaic.com/standards/83rat/html/Welcome.html http://iment.com/maida/computer/requirements/strawman.htm http://www.adaic.org/resources/add_content/standards/95rat/rat95html/rat95-contents.html https://quicksearch.dla.mil/qsDocDetails.aspx%3Fident_number=37152 https://www.mapusoft.com/convert-ada-to-c/ https://web.archive.org/web/20041209184612/http:/www.omg.org/technology/documents/formal/ada_language_mapping.htm https://web.archive.org/web/20070202205233/http:/archive.adaic.com/standards/83rat/html/Welcome.html https://dl.acm.org/doi/pdf/10.1145/956650.956651 https://dl.acm.org/doi/pdf/10.1145/989791.989792 https://www.adaic.org/ https://www.adaic.org/ada-resources/standards/ada-95-documents/lrm-original/ https://www.adaic.org/resources/add_content/standards/05rm/html/RM-TTL.html https://www.adaic.org/resources/add_content/standards/12rm/html/RM-TTL.html https://www.open-std.org/JTC1/SC22/WG9/ http://www.ada-auth.org/standards/rm12_w_tc1/html/RM-TTL.html http://archive.adaic.com/standards/83lrm/html/Welcome.html http://www.adaic.org/standards/05rat/html/Rat-TTL.html http://www.adaic.org/standards/95lrm/html/RM-TTL.html https://archive.org/details/softwareengineer0002booc https://www.iso.org/standard/16028.html https://www.iso.org/standard/22983.html https://www.iso.org/standard/35451.html https://www.iso.org/standard/45001.html https://www.iso.org/standard/61507.html https://www.iso.org/standard/69798.html https://apps.dtic.mil/dtic/tr/fulltext/u2/a187106.pdf http://www.catb.org/jargon/oldversions/jarg262.txt http://purl.umn.edu/41474
dbo:wikiPageWikiLink	dbr:Hello_world_program dbr:Ravenscar_profile dbr:Real-time_computing dbr:Object-oriented_programming dbr:VHDL dbr:Air_traffic_control dbr:Cab_signalling dbr:PTC_(software_company) dbr:Source_lines_of_code dbr:APSE dbr:France dbr:Free_software dbr:Java_(programming_language) dbc:Programming_languages dbr:Safety-critical_system dbr:Dangling_else dbr:Inline_function dbr:Message_passing dbr:ALGOL_68 dbr:Ada_Lovelace dbr:Boeing_777 dbr:C++ dbr:Chapel_(programming_language) dbr:Compiler dbr:D_(programming_language) dbr:Eiffel_(programming_language) dbr:GNU_Compiler_Collection dbr:ISO/IEC_JTC_1/SC_22 dbr:Lisp_(programming_language) dbr:Modula-2 dbr:Nim_(programming_language) dbr:Parallel_computing dbr:Python_(programming_language) dbr:SRI_International dbr:Seed7 dbr:Smalltalk dbr:Turing_Award dbr:Aspect-oriented_programming dbr:Ariane_(rocket_family) dbr:Runtime_(program_lifecycle_phase) dbr:Switch_statement dbc:.NET_programming_languages dbc:Programming_language_standards dbr:Ministry_of_Defence_(United_Kingdom) dbr:Pascal_(programming_language) dbr:Satellite dbr:United_States_Department_of_Defense dbr:Buffer_overflow dbr:Computer_scientist dbr:Distributed_computing dbr:Free_content dbr:International_Organization_for_Standardization dbr:Working_group dbr:Pointer_(computer_programming) dbr:Embedded_system dbr:Off-by-one_error dbr:Concurrent_Computer_Corporation dbr:Exception_handling dbr:Procedural_programming dbr:Harris_Computer_Systems dbr:Ruby_(programming_language) dbr:Imperative_programming dbr:Record_(computer_science) dbr:Subtyping dbr:DDC-I dbr:Type_system dbr:Commercial_off-the-shelf dbr:ALGOL_60 dbr:Drago_(programming_language) dbr:PL/pgSQL dbr:ParaSail_(programming_language) dbr:SQL/PSM dbr:American_National_Standards_Institute dbr:GNAT dbr:Steelman_language_requirements dbr:Green_Hills_Software dbr:Software_verification dbr:Alsys dbr:Design_by_contract dbr:Groupe_Bull dbr:Jean_Ichbiah dbr:Monitor_(synchronization) dbr:Structured_programming dbr:Tartan_Laboratories dbr:Technical_standard dbr:PL/SQL dbr:Dynamic_dispatch dbr:Task_(computing) dbr:Type_safety dbr:POSIX dbr:Enumerated_type dbr:Cross-platform dbr:Interface_description_language dbr:Mutual_exclusion dbr:SETL dbr:International_standard dbr:Generic_programming dbr:Modular_programming dbr:ALGOL dbr:Avionics dbr:Dash dbr:International_Electrotechnical_Commission dbr:TLD_Systems dbr:Verdix dbc:Ada_(programming_language) dbc:Statically_typed_programming_languages dbr:TGV dbr:SPARK_(programming_language) dbr:High-level_programming_language dbr:LIS_(programming_language) dbr:Array_programming dbr:Garbage_collection_(computer_science) dbr:Transmission_Voie-Machine dbr:Metaprogramming dbr:Advanced_Computer_Techniques dbr:Memory_management dbr:Region-based_memory_management dbr:Syntax_(programming_languages) dbr:Nondeterministic_programming dbr:Charles_Babbage_Institute dbc:1980_software dbc:Programming_languages_created_in_1980 dbc:Avionics_programming_languages dbc:Multi-paradigm_programming_languages dbc:Systems_programming_languages dbc:Programming_languages_with_an_ISO_standard dbc:High-level_programming_languages dbc:High_Integrity_Programming_Language dbr:High_Order_Language_Working_Group dbr:C._A._R._Hoare dbr:TeleSoft dbr:Em_dash dbr:Multi-paradigm_programming_language dbr:Strong_and_weak_typing dbr:Run-time_checking dbr:Airplane_Information_Management_System dbr:Concurrent_programming dbr:Nominative_type_system dbr:Static_typing dbr:US_Air_Force dbr:Honeywell_Aerospace dbr:Aircraft_flight_control_systems dbr:CORBA dbr:GNAT_Programming_Studio dbr:SofTech,_Inc. dbr:North_Atlantic_Treaty_Organisation dbr:Intermetrics dbr:Statement_terminator dbr:Anomaly_in_software dbr:IEEE_1003 dbr:ISO_15291 dbr:ISO_18009 dbr:Guarded_commands dbr:Goto_(command) dbr:Distributed_processing dbr:ISO_8651 dbr:ISO_8652 dbr:Non-Uniform_Memory_Access dbr:CII_Honeywell_Bull dbr:Compiler_directive dbr:Cray_Research,_Inc. dbr:Primitive_types dbr:The_Jargon_File dbr:Statically_typed dbr:Siemens_Nixdorf_Informationssysteme_AG dbr:Simula_67 dbr:File:Ada_Lovelace_1838.jpg dbr:Irvine_Compiler dbr:Protected_object dbr:Wikt:ACATS dbr:Wikt:ASIS
dbp:designers	* MIL-STD-1815, Ada 83: Jean Ichbiah * Ada 95: Tucker Taft * Ada 2005: Tucker Taft * Ada 2012: Tucker Taft (en)
dbp:dialects	dbr:Ravenscar_profile dbr:SPARK_(programming_language)
dbp:family	dbr:Pascal_(programming_language)
dbp:fileExt	.adb, .ads (en)
dbp:implementations	AdaCore GNAT, (en) DDC-I Score (en) Green Hills Software Optimising Ada 95 compiler, (en) PTC ApexAda and ObjectAda, (en) MapuSoft Ada-C/C++ changer, formerly known as "AdaMagic with C Intermediate", (en)
dbp:influenced	C++, Chapel, Drago, D, Eiffel, Griffin, Java, Nim, ParaSail, PL/SQL, PL/pgSQL, Python, Ruby, Seed7, SPARforte, Sparkel, SQL/PSM, VHDL (en)
dbp:influencedBy	ALGOL 68, Pascal, Simula 67, C++ , Smalltalk , Modula-2 Java , Eiffel (en)
dbp:latestReleaseDate	May 2023 (en)
dbp:latestReleaseVersion	Ada 2022 (en)
dbp:logo	Ada horizon green logo with slogan.svg (en)
dbp:logoAlt	Green logo on horizon with Ada letters and slogan (en)
dbp:logoSize	200 (xsd:integer)
dbp:name	Ada (en)
dbp:operatingSystem	Multi- or cross-platform (en)
dbp:paradigm	dbr:Object-oriented_programming dbr:Aspect-oriented_programming dbr:Distributed_computing dbr:Procedural_programming dbr:Imperative_programming dbr:Concurrent_computing dbr:Structured_programming dbr:Generic_programming dbr:Array_programming dbr:Metaprogramming dbr:Multi-paradigm_programming_language
dbp:typing	dbr:Type_system dbr:Type_safety dbr:Nominal_type_system dbr:Strong_and_weak_typing
dbp:website	https://www.adaic.org/%7Cadaic.org
dbp:wikiPageUsesTemplate	dbt:Portal dbt:Cite_book dbt:! dbt:Anchor dbt:Annotated_link dbt:As_of dbt:Authority_control dbt:Citation dbt:Code dbt:Efn dbt:Excerpt dbt:Infobox_programming_language dbt:Notelist dbt:Programming_languages dbt:Proper_name dbt:Refbegin dbt:Refend dbt:Reflist dbt:Short_description dbt:Start_date_and_age dbt:Wikibooks dbt:Wikisourcecat dbt:Wikiversity dbt:Embedded_systems dbt:Commons_category dbt:Pascal_programming_language_family
dbp:wikibooks	Ada Programming (en)
dbp:wordnet_type	http://www.w3.org/2006/03/wn/wn20/instances/synset-programming_language-noun-1
dct:subject	dbc:Programming_languages dbc:.NET_programming_languages dbc:Programming_language_standards dbc:Ada_(programming_language) dbc:Statically_typed_programming_languages dbc:Articles_with_example_Ada_code dbc:1980_software dbc:Programming_languages_created_in_1980 dbc:Avionics_programming_languages dbc:Multi-paradigm_programming_languages dbc:Systems_programming_languages dbc:Programming_languages_with_an_ISO_standard dbc:High-level_programming_languages dbc:High-integrity_programming_languages dbc:Ada_Lovelace
rdf:type	owl:Thing dbo:Language dbo:Language wikidata:Q315 wikidata:Q9143 dbo:ProgrammingLanguage dbo:ProgrammingLanguage dbo:ProgrammingLanguage schema:Language
rdfs:label	Ada (programming language) (en) Ada (programovací jazyk) (cs) Ada (llenguatge de programació) (ca) Ada (el) أيدا (لغة برمجة) (ar) Ada (programlingvo) (eo) Ada (programazio-lengoaia) (eu) Ada (lenguaje de programación) (es) Ada (Programmiersprache) (de) Ada (ga) Ada (langage) (fr) Ada (bahasa pemrograman) (in) Ada (ja) Ada (linguaggio di programmazione) (it) 에이다 (프로그래밍 언어) (ko) Ada (język programowania) (pl) Ada (linguagem de programação) (pt) Ada (programmeertaal) (nl) Ада (язык программирования) (ru) Ada (programspråk) (sv) Ada (uk) Ada (zh)
owl:sameAs	yago-res:Ada (programming language) freebase:Ada (programming language) http://d-nb.info/gnd/4000430-2 wikidata:Ada (programming language) dbpedia-de:Ada (programming language) dbpedia-es:Ada (programming language) dbpedia-it:Ada (programming language) dbpedia-nl:Ada (programming language) dbpedia-pl:Ada (programming language) dbpedia-tr:Ada (programming language) dbpedia-fr:Ada (programming language) dbpedia-da:Ada (programming language) dbpedia-he:Ada (programming language) dbpedia-hu:Ada (programming language) dbpedia-ja:Ada (programming language) dbpedia-pt:Ada (programming language) dbpedia-ro:Ada (programming language) dbpedia-ru:Ada (programming language) dbpedia-zh:Ada (programming language) dbpedia-sv:Ada (programming language) dbpedia-vi:Ada (programming language) dbpedia-be:Ada (programming language) dbpedia-el:Ada (programming language) dbpedia-id:Ada (programming language) dbpedia-ko:Ada (programming language) dbpedia-ca:Ada (programming language) dbpedia-et:Ada (programming language) dbpedia-an:Ada (programming language) dbpedia-ar:Ada (programming language) dbpedia-az:Ada (programming language) dbpedia-bg:Ada (programming language) dbpedia-bn:Ada (programming language) dbpedia-bs:Ada (programming language) dbpedia-cs:Ada (programming language) dbpedia-cv:Ada (programming language) dbpedia-eo:Ada (programming language) dbpedia-eu:Ada (programming language) dbpedia-fa:Ada (programming language) dbpedia-fi:Ada (programming language) dbpedia-ga:Ada (programming language) dbpedia-gl:Ada (programming language) dbpedia-hr:Ada (programming language) dbpedia-hy:Ada (programming language) dbpedia-ia:Ada (programming language) dbpedia-ka:Ada (programming language) dbpedia-kk:Ada (programming language) dbpedia-ky:Ada (programming language) dbpedia-la:Ada (programming language) dbpedia-ml:Ada (programming language) dbpedia-ms:Ada (programming language) dbpedia-nn:Ada (programming language) dbpedia-no:Ada (programming language) dbpedia-pa:Ada (programming language) dbpedia-sh:Ada (programming language) dbpedia-simple:Ada (programming language) dbpedia-sk:Ada (programming language) dbpedia-sl:Ada (programming language) dbpedia-sr:Ada (programming language) dbpedia-sw:Ada (programming language) dbpedia-ta:Ada (programming language) dbpedia-tg:Ada (programming language) dbpedia-th:Ada (programming language) dbpedia-uk:Ada (programming language) dbpedia-global:Ada (programming language)
prov:wasDerivedFrom	wikipedia-en:Ada_(programming_language)?oldid=1305618467&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Ada_Mascot_with_slogan.svg wiki-commons:Special:FilePath/Ada_horizon_green_logo_with_slogan.svg wiki-commons:Special:FilePath/Ada_Lovelace_portrait.jpg
foaf:homepage	https://www.adaic.org/%7Cadaic.org https://www.adaic.org/
foaf:isPrimaryTopicOf	wikipedia-en:Ada_(programming_language)
foaf:name	Ada (en)
foaf:page	https://www.adaic.org/%7Cadaic.org
is dbo:influenced of	dbr:ALGOL_68 dbr:C++ dbr:CLU_(programming_language) dbr:Eiffel_(programming_language) dbr:Java_(programming_language)__Java__1 dbr:Modula-2 dbr:Pascal_(programming_language) dbr:ALGOL_60
is dbo:influencedBy of	dbr:VHDL dbr:Amiga_E__Amiga_E__1 dbr:C++ dbr:Chapel_(programming_language) dbr:Eiffel_(programming_language) dbr:Java_(programming_language)__Java__1 dbr:Nim_(programming_language) dbr:Python_(programming_language) dbr:Seed7 dbr:Verilog dbr:Ruby_(programming_language) dbr:PL/pgSQL dbr:ParaSail_(programming_language) dbr:SQL/PSM dbr:SPARK_(programming_language)
is dbo:knownFor of	dbr:Mike_Woodger dbr:Nico_Habermann dbr:Jean_Ichbiah dbr:John_Barnes_(computer_scientist)
is dbo:language of	dbr:Understand_(software)
is dbo:programmingLanguage of	dbr:ORBexpress dbr:Scala_(software)
is dbo:wikiPageDisambiguates of	dbr:ADA dbr:Ada
is dbo:wikiPageRedirects of	dbr:Access_type dbr:Access_types dbr:Ada_programming_language dbr:Ada_programming_language dbr:Ada83 dbr:Ada95 dbr:Ada_(language) dbr:Ada_2005 dbr:Ada_2012 dbr:Ada_83 dbr:Ada_95 dbr:Ada_9X dbr:Ada_Information_Clearinghouse dbr:Ada_language dbr:Ada_prog dbr:Ada_programming dbr:Adalang dbr:Limited_type dbr:ADA_programming_language dbr:Data_types_in_Ada dbr:MIL-STD-1815 dbr:Computer_language_Ada dbr:Concurrency_in_Ada dbr:Control_structures_in_Ada dbr:Libadalang
is dbo:wikiPageWikiLink of	dbr:Ravenscar_profile dbr:Architecture_Design_and_Assessment_System dbr:Array_slicing dbr:Ellipsis_(computer_programming) dbr:ISO/IEC_8652 dbr:Deflate dbr:Lempel–Ziv–Markov_chain_algorithm dbr:Eclipse_(software) dbr:Hexadecimal dbr:Object-oriented_programming dbr:Semantics dbr:VHDL dbr:CHILL dbr:Case_sensitivity dbr:Java_bytecode dbr:Foreign_function_interface dbr:FOSDEM dbr:KDevelop dbr:Collins-class_submarine dbr:Petriscript dbr:Mike_Woodger dbr:List_of_computer_scientists dbr:Ada_Semantic_Interface_Specification dbr:Beaujolais_effect dbr:S/SL_programming_language dbr:I-Logix dbr:List_of_language_bindings_for_GTK dbr:Rosetta_Code dbr:Comparison_of_integrated_development_environments dbr:Boolean_expression dbr:Self-hosting_(compilers) dbr:Ternary_conditional_operator dbr:Nesting_(computing) dbr:List_of_people_from_the_London_Borough_of_Ealing dbr:List_of_programming_language_researchers dbr:APSE dbr:Access_type dbr:Access_types dbr:Computer dbr:Java_(programming_language) dbr:Linda_Lovelace dbr:Linux dbr:Notepad++ dbr:Static_program_analysis dbr:Mobile_Servicing_System dbr:VisualWorks dbr:JGRASP dbr:Micro_Bit dbr:Judy_Clapp dbr:Dangling_else dbr:Primitive_data_type dbr:ADA dbr:Opaque_pointer dbr:Write_once,_compile_anywhere dbr:ALGOL_68 dbr:Ada_Lovelace dbr:Association_for_Computing_Machinery dbr:C++ dbr:CLU_(programming_language) dbr:C_Sharp_(programming_language) dbr:Chapel_(programming_language) dbr:Compiler dbr:Eiffel_(programming_language) dbr:GNU_Compiler_Collection dbr:GNU_Lesser_General_Public_License dbr:ISO/IEC_JTC_1/SC_22 dbr:Java_(software_platform) dbr:Kotlin_(programming_language) dbr:List_of_Nokia_products dbr:Lua_(programming_language) dbr:Mesa_(programming_language) dbr:Microprocessor dbr:Modula-2 dbr:Nico_Habermann dbr:Nim_(programming_language) dbr:Oberon_(programming_language) dbr:Objective-C dbr:Programming_language dbr:Python_(programming_language) dbr:Seed7 dbr:UCSD_Pascal dbr:Boolean_data_type dbr:SNOBOL dbr:Aspect-oriented_programming dbr:"Hello,_World!"_program dbr:Dynamic_array dbr:Bluefish_(software) dbr:Synchronization_(computer_science) dbr:DJGPP dbr:Ada dbr:Linda_(coordination_language) dbr:RTEMS dbr:Spice_Lisp dbr:Fluctuat dbr:Software_prototyping dbr:William_Whitaker's_Words dbr:ORBexpress dbr:Switch_statement dbr:Bounds_checking dbr:Significand dbr:Fast_Artificial_Neural_Network dbr:First-class_function dbr:Parametric_polymorphism dbr:Ariane_5 dbr:Fortran dbr:Integrated_development_environment dbr:Pascal_(programming_language) dbr:Ampersand dbr:Buffer_overflow dbr:Limbo_(programming_language) dbr:Lockheed_Martin_F-22_Raptor dbr:Lockheed_Martin_F-35_Lightning_II dbr:OpenVMS dbr:Robert_Dewar dbr:Verilog dbr:ALGOL_58 dbr:Agda_(programming_language) dbr:Exponentiation dbr:Common_Lisp dbr:Tk_(software) dbr:Immutable_object dbr:Array_(data_type) dbr:Pointer_(computer_programming) dbr:Open_standard dbr:Xcode dbr:Clang dbr:Control_flow dbr:Integer_overflow dbr:Do_while_loop dbr:List_of_French_inventions_and_discoveries dbr:SYNTAX dbr:Vienna_Development_Method dbr:Lego_Mindstorms dbr:Exception_handling dbr:Anonymous_function dbr:Mixin dbr:Statement_(computer_science) dbr:JuffEd dbr:System_time dbr:Elsa-Karin_Boestad-Nilsson dbr:FFTW dbr:Data_structure_alignment dbr:Lock_(computer_science) dbr:Improved_United_Kingdom_Air_Defence_Ground_Environment dbr:Machine_epsilon dbr:Library_(computing) dbr:Ruby_(programming_language) dbr:HAL/S dbr:Imperative_programming dbr:Intel_i960 dbr:List_of_file_formats dbr:Simple_and_Fast_Multimedia_Library dbr:Record_(computer_science) dbr:Operator_overloading dbr:DDC-I dbr:Polyspace dbr:MALPAS_Software_Static_Analysis_Toolset dbr:Relational_operator dbr:Namespace dbr:United_States_Military_Standard dbr:Byte_Sieve dbr:ALGOL_60 dbr:Computer_program dbr:SQL dbr:PL/pgSQL dbr:ParaSail_(programming_language) dbr:SQL/PSM dbr:Simple_DirectMedia_Layer dbr:Colon_(punctuation) dbr:GNAT dbr:List_of_CLI_languages dbr:Cygwin dbr:LLVM dbr:Scientific_notation dbr:CAC/PAC_JF-17_Thunder dbr:Lego_Mindstorms_NXT dbr:List_of_acronyms:_A dbr:GNU_Debugger dbr:Carl_Sassenrath dbr:Steelman_language_requirements dbr:Julia dbr:Genera_(operating_system) dbr:GrammaTech dbr:Green_Hills_Software dbr:Rational_Rhapsody dbr:Algebraic_operation dbr:MIL-STD-1750A dbr:Elliot_Koffman dbr:NEC_SX dbr:NEC_V60 dbr:Comparison_of_multi-paradigm_programming_languages dbr:List_of_computer_term_etymologies dbr:Understand_(software) dbr:GlTF dbr:Marlene_Hazle dbr:Mingw-w64 dbr:NOP_(code) dbr:Function_object dbr:Evaluation_strategy dbr:Communicating_sequential_processes dbr:Alexander_Stepanov dbr:Backus–Naur_form dbr:CMS-2 dbr:Concurrent_computing dbr:David_Gelernter dbr:Design_by_contract dbr:Function_(computer_programming) dbr:Grady_Booch dbr:Ike_Nassi dbr:Jean_Ichbiah dbr:John_F._Sowa dbr:Monitor_(synchronization) dbr:Structured_programming dbr:Tartan_Laboratories dbr:Transputer dbr:VAXELN dbr:Wang_Laboratories dbr:Elementary_algebra dbr:Equals_sign dbr:List_of_object-oriented_programming_languages dbr:Conditional_(computer_programming) dbr:Enterprise_Architect_(software) dbr:For_loop dbr:While_loop dbr:Turing_completeness dbr:AverStar dbr:Comment_(computer_programming) dbr:Logical_shift dbr:Assignment_(computer_science) dbr:Glade_Interface_Designer dbr:List_of_programming_languages_by_type dbr:Naming_convention_(programming) dbr:Scala_(software) dbr:Run-time_type_information dbr:Baby_Modula-3 dbr:Larry_Druffel dbr:Dhrystone dbr:Set_(abstract_data_type) dbr:Class_invariant dbr:SQL-92 dbr:DIANA_(intermediate_language) dbr:Call_stack dbr:Enumerated_type dbr:Goto dbr:Memory_leak dbr:Hardware_description_language dbr:A_Sharp_(.NET) dbr:SETL dbr:Spaghetti_code dbr:Double-ended_queue dbr:Generic_programming dbr:Arithmetic_shift dbr:Corvette_(computer) dbr:PLplot dbr:Spread_Toolkit dbr:Integer_(computer_science) dbr:Unisys_OS_2200_programming_languages dbr:Remainder dbr:Comparison_of_programming_languages dbr:Resource_acquisition_is_initialization dbr:Nested_function dbr:Expression-oriented_programming_language dbr:Modular_programming dbr:ALGOL dbr:MinGW dbr:Asterisk dbr:Data_type dbr:Characters_per_line dbr:Unicode_font dbr:John_Barnes_(computer_scientist) dbr:Short-circuit_evaluation dbr:Compiled_language dbr:GLFW dbr:History_of_software dbr:IMAX_432 dbr:Dansk_Datamatik_Center dbr:Pascal_MicroEngine dbr:Common_Object_Request_Broker_Architecture dbr:V_(operating_system) dbr:ARINC_653 dbr:Coreboot dbr:International_Collegiate_Programming_Contest dbr:SPARK_(programming_language) dbr:Ada_(name) dbr:Ada_Conformity_Assessment_Test_Suite dbr:CORAL dbr:Snake_case dbr:High_Level_Assembly dbr:Timeline_of_operating_systems dbr:Foreach_loop dbr:David_Luckham dbr:LIS_(programming_language) dbr:SG2_Shareable_(Fire_Control)_Software_Suite_(S4) dbr:Non-English-based_programming_languages dbr:FastCGI dbr:Parameter_(computer_programming) dbr:Template_(C++) dbr:1979_in_science dbr:Deaths_in_January_2007 dbr:Array_programming
is dbp:family of	dbr:SPARK_(programming_language)
is dbp:influenced of	dbr:Java_(programming_language) dbr:ALGOL_68 dbr:C++ dbr:CLU_(programming_language) dbr:Eiffel_(programming_language)
is dbp:influencedBy of	dbr:VHDL dbr:Java_(programming_language) dbr:Eiffel_(programming_language) dbr:Nim_(programming_language) dbr:Seed7 dbr:Verilog dbr:Ruby_(programming_language) dbr:PL/pgSQL dbr:ParaSail_(programming_language) dbr:SPARK_(programming_language) dbr:Amiga_E
is dbp:programmedIn of	dbr:IMAX_432 dbr:LynxOS
is dbp:programmingLanguage of	dbr:ORBexpress dbr:Scala_(software)
is rdfs:seeAlso of	dbr:Comparison_of_integrated_development_environments
is foaf:primaryTopic of	wikipedia-en:Ada_(programming_language)