About: ANSI/ISO C Specification Language

An Entity of Type: language, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

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. It also implements a sister language, ANSI/ISO C++ Specification Language (ACSL++), defined for C++.

Property	Value
dbo: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. It also implements a sister language, ANSI/ISO C++ Specification Language (ACSL++), defined for C++. (en)
dbo:designer	dbr:INRIA dbr:Commissariat_à_l'Énergie_Atomique
dbo:developer	dbr:INRIA dbr:Commissariat_à_l'Énergie_Atomique
dbo:influencedBy	dbr:Java_Modeling_Language
dbo:latestReleaseDate	2020-11-19 (xsd:date)
dbo:latestReleaseVersion	v1.16
dbo:wikiPageExternalLink	http://allan-blanchard.fr/publis/frama-c-wp-tutoriel-fr.pdf http://frama-c.com/index.html http://www.it-education.ru/2009/reports/Petrenko_Khoroshilov.htm https://fraunhoferfokus.github.io/acsl-by-example/ https://tsnippet.trust-in-soft.com/ https://www.fokus.fraunhofer.de/en/sqc/verification/ https://www.technikum-wien.at/en/study_programs/master_s/embedded_systems/facts___figures/ http://allan-blanchard.fr/publis/frama-c-wp-tutorial-en.pdf http://frama-c.com/download.html https://arxiv.org/abs/1508.03894 https://doi.org/10.1007%2F978-3-540-78163-9_18
dbo:wikiPageID	22652294 (xsd:integer)
dbo:wikiPageLength	5574 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	1122690672 (xsd:integer)
dbo:wikiPageWikiLink	dbr:Declarative_programming dbr:Design_by_contract dbr:University_of_Applied_Sciences_Technikum_Wien dbr:ESC/Java dbr:Fraunhofer_Institute_for_Open_Communication_Systems dbr:C++ dbr:Type_system dbr:DO-178C dbr:Frama-C dbr:International_Organization_for_Standardization dbc:C_(programming_language) dbc:Specification_languages dbr:Hoare_logic dbr:Java_Modeling_Language dbr:INRIA dbr:Undefined_behavior dbr:Imperative_programming dbr:Commissariat_à_l'Énergie_Atomique dbr:C_program
dbp:designer	Commissariat à l'Énergie Atomique and INRIA (en)
dbp:developer	Commissariat à l'Énergie Atomique and INRIA (en)
dbp:implementations	dbr:Frama-C
dbp:influencedBy	dbr:Java_Modeling_Language
dbp:latestReleaseDate	2020-11-19 (xsd:date)
dbp:latestReleaseVersion	v1.16 (en)
dbp:name	ANSI/ISO C Specification Language (en)
dbp:paradigm	declarative with few imperative features. (en)
dbp:typing	dbr:Type_system
dbp:wikiPageUsesTemplate	dbt:Infobox_programming_language dbt:More_footnotes dbt:Multiple_issues dbt:Refimprove dbt:Reflist
dbp:year	2008 (xsd:integer)
dcterms:subject	dbc:C_(programming_language) dbc:Specification_languages
gold:hypernym	dbr:Language
rdf:type	owl:Thing dbo:Language dbo:Software schema:Language wikidata:Q315 wikidata:Q9143 yago:WikicatSpecificationLanguages yago:Abstraction100002137 yago:ArtificialLanguage106894544 yago:Communication100033020 yago:Language106282651 yago:ProgrammingLanguage106898352 dbo:ProgrammingLanguage
rdfs: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. It also implements a sister language, ANSI/ISO C++ Specification Language (ACSL++), defined for C++. (en)
rdfs:label	ANSI/ISO C Specification Language (en)
owl:sameAs	freebase:ANSI/ISO C Specification Language yago-res:ANSI/ISO C Specification Language wikidata:ANSI/ISO C Specification Language https://global.dbpedia.org/id/4Jojm
prov:wasDerivedFrom	wikipedia-en:ANSI/ISO_C_Specification_Language?oldid=1122690672&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:ANSI/ISO_C_Specification_Language
foaf:name	ANSI/ISO C Specification Language (en)
is dbo:influencedBy of	dbr:Praspel
is dbo:wikiPageDisambiguates of	dbr:ACSL
is dbo:wikiPageWikiLink of	dbr:Praspel dbr:Specification_language dbr:Static_program_analysis dbr:Frama-C dbr:Formal_methods dbr:ACSL dbr:List_of_tools_for_static_code_analysis
is dbp:influencedBy of	dbr:Praspel
is foaf:primaryTopic of	wikipedia-en:ANSI/ISO_C_Specification_Language

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.

About: ANSI/ISO C Specification Language

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.