An ATermService is a software component that:

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

Library support

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


-- MartinBravenboer - 10 Mar 2003

Revision: r1.4 - 10 Mar 2003 - 13:22 - MartinBravenboer
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback