Matches in DBpedia 2014 for { <http://dbpedia.org/resource/ANSI/ISO_C_Specification_Language> ?p ?o. }
Showing items 1 to 48 of
48
with 100 items 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_%C3%A0_l'%C3%A9nergie_atomique_et_aux_%C3%A9nergies_alternatives.
- ISO_C_Specification_Language designer French_Institute_for_Research_in_Computer_Science_and_Automation.
- ISO_C_Specification_Language developer Commissariat_%C3%A0_l'%C3%A9nergie_atomique_et_aux_%C3%A9nergies_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 www.fokus.fraunhofer.de.
- ISO_C_Specification_Language wikiPageExternalLink ACSL-by-Example.pdf.
- ISO_C_Specification_Language wikiPageExternalLink device-soft.
- ISO_C_Specification_Language wikiPageExternalLink Petrenko_Khoroshilov.htm.
- ISO_C_Specification_Language wikiPageExternalLink r4480863w8726723.
- ISO_C_Specification_Language wikiPageID "22652294".
- ISO_C_Specification_Language wikiPageRevisionID "589925519".
- 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 year "2008".
- ISO_C_Specification_Language subject Category:C_programming_language.
- ISO_C_Specification_Language subject Category:Specification_languages.
- ISO_C_Specification_Language type Abstraction100002137.
- ISO_C_Specification_Language type ArtificialLanguage106894544.
- ISO_C_Specification_Language type Communication100033020.
- ISO_C_Specification_Language type Language106282651.
- ISO_C_Specification_Language type ProgrammingLanguage106898352.
- ISO_C_Specification_Language type SpecificationLanguages.
- ISO_C_Specification_Language type ProgrammingLanguage.
- ISO_C_Specification_Language type Software.
- ISO_C_Specification_Language type Work.
- ISO_C_Specification_Language type CreativeWork.
- ISO_C_Specification_Language type InformationEntity.
- 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 sameAs ISO_C_Specification_Language.
- ISO_C_Specification_Language wasDerivedFrom ISO_C_Specification_Language?oldid=589925519.
- ISO_C_Specification_Language isPrimaryTopicOf ISO_C_Specification_Language.
- ISO_C_Specification_Language name "ANSI/ISO C Specification Language".