Home > Apps > Multiplatform
File extension list filtered by software name

SPARK GPL EDITION

Found one file extension association related to SPARK GPL EDITION and 1 file format developed specifically for use with SPARK GPL EDITION.

Platform, operating system:  Multiplatform icon Multiplatform

Go to: SPARK GPL EDITION description

Developer: AdaCore

SPARK GPL EDITION

Developer / company: AdaCore

SPARK GPL provides the foremost language, toolset and design discipline for the engineering of high-assurance software. It combines the renowned SPARK language and verification tools from Altran with the GNAT Programming Studio (GPS) and GNATBench development environments from AdaCore.

SPARK GPL EDITION works with the following file extensions:

Note: You can click on any file extension link from the list below, to view its detailed information. The list of extensions used or otherwise associated with the application may not be complete, because many common file extensions on our website, such as jpg (pictures) or txt (text files), can be opened by a large number of applications, or are too general file format. However most, if not all directly associated file extensions should be listed with its appropriate program. Although its likely, that some file extensions may be missing from the list of associated file extensions with the application, yet they can be opened, be part of, or otherwise be associated with the program.

SPARK GPL EDITION default file extension associations

ali file icon.ali

Comparison table of actions that SPARK GPL EDITION can perform with its associated file type beta

This table might not contain all possible associated or supported file types or may contain incorrect data.
If you need more information please contact the developers of SPARK GPL EDITION (AdaCore), or check out their product website.

File type \ Action

Open

Save

Edit

View

Play

Convert

Create

Record

Import

Export

Burn

Extract

Recover

Backup

Print

Settings

Other

ali

Yes-----Yes----------

Enter any file extension without dot (e.g. pdf)
Search for file extension details and associated application(s)

RSS feed