ATerms for manipulation and exchange of structured data: It’s all about sharing

Mark G.J. van den Brand، نويسنده , , Paul Klint، نويسنده ,

ماهنامه با شماره پیاپی سال 2007

10

55

64

Maximal subterm sharing , Parsing , Intermediate data format , Abstract data type , Data exchange , model checking , Toolbus , Component-based software , ASF+SDF meta-environment , Syntax trees , Trees , ATERMs , Program generation , Abstract syntax trees , APIGEN , Annotations , Term rewriting

Information and Software Technology

2007

Information and Software Technology

135273