joaoraf / kiama

Automatically exported from code.google.com/p/kiama
GNU Lesser General Public License v3.0
7 stars 2 forks source link

Add support for ATerms #49

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago
For some projects we would like to be able to process trees that come from 
tools such as SDF. This requires us to be able to do rewrites etc on ATerms.  
At present we are looking at a typed implementation that translates a signature 
in Scala case classes and provides typed readers and writers for the ATerm 
representation.

Original issue reported on code.google.com by inkytonik on 21 Oct 2010 at 3:32

GoogleCodeExporter commented 9 years ago

Original comment by inkytonik on 18 May 2011 at 9:46

GoogleCodeExporter commented 9 years ago
We have a prototype of this and are using it in a project, but it's unclear 
when we will be ready to release it. Most likely it won't be released as part 
of Kiama, but a separate project.

Original comment by inkytonik on 18 May 2011 at 9:47

GoogleCodeExporter commented 9 years ago

Original comment by inkytonik on 15 Jun 2012 at 9:30