[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[task #16018] Submission of ASC Language Standard

From: Daniel
Subject: [task #16018] Submission of ASC Language Standard
Date: Wed, 21 Jul 2021 02:13:15 -0400 (EDT)
User-agent: Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/91.0.4472.164 Safari/537.36


                 Summary: Submission of ASC Language Standard
                 Project: Savannah Administration
            Submitted by: o_o
            Submitted on: Wed 21 Jul 2021 06:13:14 AM UTC
         Should Start On: Wed 21 Jul 2021 12:00:00 AM UTC
   Should be Finished on: Sat 31 Jul 2021 12:00:00 AM UTC
                Category: Project Approval
                Priority: 5 - Normal
                  Status: None
                 Privacy: Public
        Percent Complete: 0%
             Assigned to: None
             Open/Closed: Open
         Discussion Lock: Any
                  Effort: 0.00



A new project has been registered at Savannah
This project account will remain inactive until a site admin approves
or discards the registration.

= Registration Administration =

While this item will be useful to track the registration process,
*approving or discarding the registration must be done using the specific
Group Administration
<> page*,
accessible only to site administrators,
effectively *logged as site administrators* (superuser):

* Group Administration

= Registration Details =

* Name: *ASC Language Standard*
* System Name:  *asc-std-doc*
* Type: non-GNU software and documentation
* License: GNU Free Documentation License


== Description: ==
ASC (the Algebraic System for Computation) is a programming language designed
for creating highly reliable and stable programs. ASC provides advanced data
type and control flow features. They allow a program written in ASC to play
the dual role of implementation and formal proof. 

Ordinarily, programmers writing reliable software would have to use a system
such as Coq or TLA+ to check that the program has no errors and then translate
the resulting abstract model to a different language. ASC allows programmers
to use one tool for the entire workflow. This is  very useful for critical
control systems designed for pacemakers, airplanes, and nuclear reactors. Not
only that, but ASC also helps programmers avoid the common bugs and hiccups
that affect everyday software.

This project holds the working standard and will eventually hold a working
reference implementation of ASC as well.

== Other Software Required: ==
Currently, none.

== Other Comments: ==
ASC is and will always be developed standard-first because stability is a big
priority. The repository may not see actual software for some time until the
standard is finished.

The long-term goal is to make ASC an official GNU project so that the FSF will
have a completely open, copy-left programming language hosted and supported by
the GNU foundation as a worthwhile C alternative and for the general benefit
of better software everywhere.

I'd like to set up non-GNU hosting on here rather than on Github or
Sourceforge which both seem inappropriate for what the project is.

== Tarball URL: ==


Reply to this item at:


  Message sent via Savannah

reply via email to

[Prev in Thread] Current Thread [Next in Thread]