Performance enhancement in a well-structured pattern matcher through partial evaluation
1980 (English)Doctoral thesis, monograph (Other academic)
Partial evaluation is a technique which can be utilized for the generation of compiled code from the corresponding interpreter. In this work the partial evaluation technique is applied to a pattern match interpreter, in order to achieve the simultaneous goals of a general, well-structured program which is extendible and still make high performance at execution possible. A formal definition of pattern matching is presented, which is the basis for the interpreter. The partial evaluation technique is evaluated with respect to other techniques for implementation of pattern matchers. Control structures for pattern matching such as backtracking, generators, and recursion are presented, and the appropriateness of these for use in partial evaluation is discussed.
Place, publisher, year, edition, pages
Linköping: Linköpings univeristet , 1980. , 221 p.
Linköping Studies in Science and Technology. Dissertations, ISSN 0345-7524 ; 55
IdentifiersURN: urn:nbn:se:liu:diva-37937Local ID: 40645ISBN: 91-7372-403-3OAI: oai:DiVA.org:liu-37937DiVA: diva2:258786
1980-12-12, Sal BDL 6, Universitetet i Linköping, Linköping, 13:15 (Swedish)