ANSI/ISO C Specification Language
http://dbpedia.org/resource/ANSI/ISO_C_Specification_Language an entity of type: Thing
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++.
rdf:langString
rdf:langString
ANSI/ISO C Specification Language
rdf:langString
ANSI/ISO C Specification Language
rdf:langString
ANSI/ISO C Specification Language
xsd:integer
22652294
xsd:integer
1122690672
rdf:langString
Commissariat à l'Énergie Atomique and INRIA
rdf:langString
Commissariat à l'Énergie Atomique and INRIA
xsd:date
2020-11-19
rdf:langString
v1.16
rdf:langString
declarative with few imperative features.
xsd:integer
2008
rdf:langString
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++.
xsd:nonNegativeInteger
5574
xsd:date
2020-11-19
xsd:string
v1.16