Home

XT Tools

Languages

Software

ATerm Service

XT -- A Bundle of Program Transformation Tools

An ATermService is a software component that:

is accessible at some URL using HTTP
takes an ATerm input in the body of a HTTP POST request
returns an ATerm output in a HTTP response

You can implement an ATermService using any language. Packages that support the implementation of ATermServices:

stratego-net^?
Java ATerm Servlets^?

Implementations:

ATerm Database Interface uses Java ATerm Servlets^?

-- MartinBravenboer - 10 Mar 2003