Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/ANSI/ISO_C_Specification_Language> ?p ?o }
Showing triples 1 to 73 of
73
with 100 triples per page.
- ISO_C_Specification_Language abstract "The ANSI/ISO C Specification Language (ACSL) is a specification language for C programs, using Hoare style pre- and postconditions and invariants, that follows the design by contract paradigm. Specifications are written as C annotation comments to the C program, which hence can be compiled with any C compiler.The current verification tool for ACSL is Frama-C.".
- ISO_C_Specification_Language designer Commissariat_xc3xa0_lxc3xa9nergie_atomique_et_aux_xc3xa9nergies_alternatives.
- ISO_C_Specification_Language designer French_Institute_for_Research_in_Computer_Science_and_Automation.
- ISO_C_Specification_Language developer Commissariat_xc3xa0_lxc3xa9nergie_atomique_et_aux_xc3xa9nergies_alternatives.
- ISO_C_Specification_Language developer French_Institute_for_Research_in_Computer_Science_and_Automation.
- ISO_C_Specification_Language influencedBy Java_Modeling_Language.
- ISO_C_Specification_Language latestReleaseVersion "2008".
- ISO_C_Specification_Language wikiPageExternalLink download.html.
- ISO_C_Specification_Language wikiPageExternalLink index.html.
- ISO_C_Specification_Language wikiPageExternalLink acsl_by_example.
- ISO_C_Specification_Language wikiPageExternalLink en.
- ISO_C_Specification_Language wikiPageExternalLink Petrenko_Khoroshilov.htm.
- ISO_C_Specification_Language wikiPageExternalLink r4480863w8726723.
- ISO_C_Specification_Language wikiPageExternalLink desc_lehrveranstaltung.
- ISO_C_Specification_Language wikiPageID "22652294".
- ISO_C_Specification_Language wikiPageLength "4382".
- ISO_C_Specification_Language wikiPageOutDegree "24".
- ISO_C_Specification_Language wikiPageRevisionID "667170970".
- ISO_C_Specification_Language wikiPageWikiLink C_(programming_language).
- ISO_C_Specification_Language wikiPageWikiLink C_program.
- ISO_C_Specification_Language wikiPageWikiLink Category:C_(programming_language).
- ISO_C_Specification_Language wikiPageWikiLink Category:Specification_languages.
- ISO_C_Specification_Language wikiPageWikiLink Commissariat_xc3xa0_lxc3x89nergie_Atomique.
- ISO_C_Specification_Language wikiPageWikiLink Commissariat_xc3xa0_lxc3xa9nergie_atomique_et_aux_xc3xa9nergies_alternatives.
- ISO_C_Specification_Language wikiPageWikiLink Declarative_programming.
- ISO_C_Specification_Language wikiPageWikiLink Design_by_contract.
- ISO_C_Specification_Language wikiPageWikiLink Java.
- ISO_C_Specification_Language wikiPageWikiLink Frama-C.
- ISO_C_Specification_Language wikiPageWikiLink Fraunhofer_Institute_for_Open_Communication_Systems.
- ISO_C_Specification_Language wikiPageWikiLink French_Institute_for_Research_in_Computer_Science_and_Automation.
- ISO_C_Specification_Language wikiPageWikiLink Hoare_logic.
- ISO_C_Specification_Language wikiPageWikiLink INRIA.
- ISO_C_Specification_Language wikiPageWikiLink Imperative_programming.
- ISO_C_Specification_Language wikiPageWikiLink International_Organization_for_Standardization.
- ISO_C_Specification_Language wikiPageWikiLink Java_Modeling_Language.
- ISO_C_Specification_Language wikiPageWikiLink Type_system.
- ISO_C_Specification_Language wikiPageWikiLink University_of_Applied_Sciences_Technikum_Wien.
- ISO_C_Specification_Language wikiPageWikiLinkText "ACSL".
- ISO_C_Specification_Language wikiPageWikiLinkText "ANSI/ISO C Specification Language".
- ISO_C_Specification_Language designer "Commissariat à l'Énergie Atomique and INRIA".
- ISO_C_Specification_Language developer "Commissariat à l'Énergie Atomique and INRIA".
- ISO_C_Specification_Language hasPhotoCollection ISO_C_Specification_Language.
- ISO_C_Specification_Language implementations "an implementation is in the Frama-C platform.".
- ISO_C_Specification_Language influencedBy Java_Modeling_Language.
- ISO_C_Specification_Language latestReleaseDate "December 2008".
- ISO_C_Specification_Language latestReleaseVersion "2008".
- ISO_C_Specification_Language name "ANSI/ISO C Specification Language".
- ISO_C_Specification_Language paradigm "declarative with few imperative features.".
- ISO_C_Specification_Language typing Type_system.
- ISO_C_Specification_Language wikiPageUsesTemplate Template:Infobox_programming_language.
- ISO_C_Specification_Language wikiPageUsesTemplate Template:Multiple_issues.
- ISO_C_Specification_Language year "2008".
- ISO_C_Specification_Language subject Category:C_(programming_language).
- ISO_C_Specification_Language subject Category:Specification_languages.
- ISO_C_Specification_Language hypernym Language.
- ISO_C_Specification_Language type Language.
- ISO_C_Specification_Language type ProgrammingLanguage.
- ISO_C_Specification_Language type Software.
- ISO_C_Specification_Language type Work.
- ISO_C_Specification_Language type Language.
- ISO_C_Specification_Language type CreativeWork.
- ISO_C_Specification_Language type Thing.
- ISO_C_Specification_Language type Q386724.
- ISO_C_Specification_Language type Q7397.
- ISO_C_Specification_Language type Q9143.
- ISO_C_Specification_Language comment "The ANSI/ISO C Specification Language (ACSL) is a specification language for C programs, using Hoare style pre- and postconditions and invariants, that follows the design by contract paradigm. Specifications are written as C annotation comments to the C program, which hence can be compiled with any C compiler.The current verification tool for ACSL is Frama-C.".
- ISO_C_Specification_Language label "ANSI/ISO C Specification Language".
- ISO_C_Specification_Language sameAs m.05zj2_d.
- ISO_C_Specification_Language sameAs Q4653031.
- ISO_C_Specification_Language sameAs Q4653031.
- ISO_C_Specification_Language wasDerivedFrom ISO_C_Specification_Language?oldid=667170970.
- ISO_C_Specification_Language isPrimaryTopicOf ISO_C_Specification_Language.
- ISO_C_Specification_Language name "ANSI/ISO C Specification Language".