Back to Results
First PageMeta Content
Java Modeling Language / Java platform / Procedural programming languages / Program analysis / Frama-C / KeY / Programming language / C / SQL / Computing / Software engineering / Software


ACSL: ANSI C Specification Language Preliminary design (version 1.2, March 4, 2008) Patrick Baudin1 , Jean-Christophe Filliâtre4,3 , Claude Marché3,4 , Benjamin Monate1 , Yannick Moy2,4,3 , Virgile Prevosto1 1
Add to Reading List

Document Date: 2013-09-24 04:53:01

Open Document

File Size: 514,79 KB

Share Result on Facebook

City

Paris / /

Company

Software Reliability Laboratory / /

Country

France / /

Facility

Jessie library / /

Person

Jean Souyris / Pierre Crégut / Thierry Hubert / Dillon Pariente / Jean-Louis Colaço / Sylvie Boldo / Stéphane Duprat / David Delmas / Pierre Rousseau / Arnaud Gotlieb / Pascal Cuoq / Julien Signoles / Bertrand Meyer / /

Position

General / /

ProgrammingLanguage

ANSI C / C / Java / /

Technology

Java / ANSI C / CAT / /

URL

http /

SocialTag