About: ANSI/ISO C Specification Language

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: ANSI/ISO C Specification Language Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : platform.yourdatastories.eu:8890 associated with source document(s)

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.

Attributes	Values
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.
foaf:name	ANSI/ISO C Specification Language
designer	''Commissariat à l'énergie atomique Institut national de recherche en informatique et en automatique
developer	''Commissariat à l'énergie atomique Institut national de recherche en informatique et en automatique
influenced by	dbpedia:Java_Modeling_Language
latest release version	2008
is influenced by of	Praspel

Faceted Search & Find service v1.13.91 as of Nov 14 2017

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3212 as of Mar 29 2016, on Linux (x86_64-unknown-linux-gnu), Single-Server Edition (68 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software