TigerAbstractSyntaxFormat (Tiger-Abstract-Syntax-Format) is a format checker for Tiger abstract terms. It traverses a given term to see if it conforms to the desugared Tiger format, i.e., the term should be correct with respect to the Tiger signature and in addition only contain desugared expressions. The format checker is defined by means of the idiom of RecursivePatterns?.

Revision: r1.1 - 09 May 2001 - 21:57 - EelcoVisser
Tiger > TigerAbstractSyntaxFormat
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