URL:
<http://gna.org/task/?6462>
Summary: Submission of interaction nets programming language
Project: Gna! Administration
Submitted by: inets
Submitted on: Monday 02/02/09 at 10:14
Status: None
Approval Status: None
Should Start On: Monday 02/02/09 at 00:00
Should be Finished on: Thursday 12/02/09 at 00:00
Category: Project Approval
Priority: 5 - Normal
Privacy: Public
Assigned to: None
Open/Closed: Open
Discussion Lock: Any
_______________________________________________________
Details:
A new project has been registered at Gna!
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://gna.org/siteadmin/groupedit.php?group_id=2896> page*,
accessible only to site administrators, effectively *logged as site
administrators* (superuser):
* Group Administration
<https://gna.org/siteadmin/groupedit.php?group_id=2896>
= Registration Details =
* Name: *interaction nets programming language*
* System Name: *inets*
* Type: Programs
* License: GNU General Public License V3 or later
----
==== Description: ====
This project is about developing a new programming language environments
based on interaction nets(a graph rewrite system). We have developed a
prototype compiler called PIN which can be found under 'Resources' on
http://www.interaction-nets.org/ (includes source codes). The front end has
been developed using JavaCC and the runtime is implemented in C.
The front end accepts a textual description of interaction nets, then outputs
an abstract syntax tree for the source language. From the abstract syntax
tree, we generate a set of bytecodes which can be executed by the abstract
machine(implemented in C).
We aim to extend this project and have C as our target language. Thus, we
will compile the byte-codes into C source codes.
==== Other Software Required: ====
N/A
_______________________________________________________
Reply to this item at:
<http://gna.org/task/?6462>
_______________________________________________
Message sent via/by Gna!
http://gna.org/
_______________________________________________
Register mailing list
[email protected]
https://mail.gna.org/listinfo/register
