[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 |
URL:
<https://savannah.gnu.org/task/?16018>
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
_______________________________________________________
Details:
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
<https://savannah.gnu.org/siteadmin/groupedit.php?group_id=12181> page*,
accessible only to site administrators,
effectively *logged as site administrators* (superuser):
* Group Administration
<https://savannah.gnu.org/siteadmin/groupedit.php?group_id=12181>
= 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: ==
https://savannah.gnu.org/submissions_uploads/ASC-std-doc.tar.gz
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/task/?16018>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [task #16018] Submission of ASC Language Standard,
Daniel <=