taskSavannah Administration - Tasks: task #16018, Submission of ASC Language Standard

 
 

task #16018: Submission of ASC Language Standard

Submitter:  Daniel <o_o>
Submitted:  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:  Cancelled Privacy:  Public
Assigned to:  ineiev Open/Closed:  Closed
* Mandatory Fields

Add a New Comment Rich Markup
   

Jump to the original submission

Tue 19 Oct 2021 12:13:22 PM UTC, comment #8: 

No response; cancelling per comment #7.

Ineiev <ineiev>
Site Administrator
Thu 16 Sep 2021 08:27:39 AM UTC, comment #7: 

Savannah doesn't support changing licenses of its groups.

I suggest that you re-submit your package when you have some code in your implementation.

Ineiev <ineiev>
Site Administrator
Sun 29 Aug 2021 04:29:45 PM UTC, comment #6: 

The current package is licensed under FDL because there is no actual implementation at this time. I will migrate to the GPL once the package repository contains more than just documentation.

Your belief is accurate. My programming language is designed to run on "bare metal". It's a C "alternative". I'm not using any libraries. The implementation is bootstrapped using C and some assembly language. I am very strict that this project be able to stand alone. There Are No Dependencies.

Daniel <o_o>
Tue 24 Aug 2021 07:56:35 AM UTC, comment #5: 

comment #4:

>
> I remember mentioning that any implementation would be licensed under GPL, but it looks like that part didn't make it into the submission comment here.


This would mean at least a change in the license (the current package is licensed under the FDL).

> Since this is a programming language, it's going to be implemented as a stand alone application so no, there won't be additional dependencies.


I'm sorry, I don't understand this.  I believe a program has no dependencies only when it runs "on bare metal" and uses no libraries; is this going to be the case?

Ineiev <ineiev>
Site Administrator
Mon 16 Aug 2021 02:29:00 PM UTC, comment #4: 


comment #1:

> Some copyrightable files like style.css have no copyright and license notices; in case of HTML files, it makes sense to put them in a visitor-visible form rather than in HTML comments.
>
> You say that the package will eventually include an implementation.  However, the FDL isn't appropriate for programs, and the implementation will most probably imply an additional list of dependencies, won't it?
>
> At last, you could make the review process easier if you avoided spaces in file names.


I'm transitioning to providing a single license file for each directory. The GNU FDL license is also incorporated as a page in the ASC standard documentation.

I remember mentioning that any implementation would be licensed under GPL, but it looks like that part didn't make it into the submission comment here. Since this is a programming language, it's going to be implemented as a stand alone application so no, there won't be additional dependencies.

Sorry about the spaces in the file names. Everybody's review process is different.

Daniel <o_o>
Mon 16 Aug 2021 02:13:24 PM UTC, comment #3: 

comment #2:

> If there is no further interest, I'll cancel this submission.


Hello, there is interest. I wasn't aware that forums were provided for pending projects so I never checked back here, expecting an email instead.

Daniel <o_o>
Mon 16 Aug 2021 07:52:29 AM UTC, comment #2: 

If there is no further interest, I'll cancel this submission.

Ineiev <ineiev>
Site Administrator
Fri 06 Aug 2021 10:10:12 AM UTC, comment #1: 

Some copyrightable files like style.css have no copyright and license notices; in case of HTML files, it makes sense to put them in a visitor-visible form rather than in HTML comments.

You say that the package will eventually include an implementation.  However, the FDL isn't appropriate for programs, and the implementation will most probably imply an additional list of dependencies, won't it?

At last, you could make the review process easier if you avoided spaces in file names.

Ineiev <ineiev>
Site Administrator
Wed 21 Jul 2021 06:13:14 AM UTC, original submission:  

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):



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


Daniel <o_o>

 

(Note: upload size limit is set to 16384 kB, after insertion of the required escape characters.)

Attach Files:
   
   
Comment:
   

No files currently attached

 

Depends on the following items: None found

Items that depend on this one: None found

 

Carbon-Copy List
  • -email is unavailable- added by ineiev (Posted a comment)
  • -email is unavailable- added by o_o (Submitted the item)
  •  

    There are 0 votes so far. Votes easily highlight which items people would like to see resolved in priority, independently of the priority of the item set by tracker managers.

    Only logged-in users can vote.

     

    Follow 4 latest changes.

    Date Changed by Updated Field Previous Value => Replaced by
    2021-10-19 ineiev StatusIn Progress Cancelled
        Open/ClosedOpen Closed
    2021-08-06 ineiev StatusNone In Progress
        Assigned toNone ineiev

    Back to the top

    Powered by Savane 3.13-4448.
    Corresponding source code