Fluctuat
Fluctuat has been developed by Commissariat à l'Énergie Atomique et aux Énergies Alternatives since 2001. Fluctuat enables the static analysis of C and Ada programs, with a special focus on floating-point operations.
primaryTopic
Fluctuat
Fluctuat has been developed by Commissariat à l'Énergie Atomique et aux Énergies Alternatives since 2001. Fluctuat enables the static analysis of C and Ada programs, with a special focus on floating-point operations.
has abstract
Fluctuat has been developed by ...... on floating-point operations.
@en
developer
operating system
Link from a Wikipage to an external page
Wikipage page ID
37,783,770
Wikipage revision ID
733,817,965
language
license
comment
Fluctuat has been developed by ...... on floating-point operations.
@en
label
Fluctuat
@en
wasDerivedFrom
homepage
isPrimaryTopicOf
name
Fluctuat
@en