Vi beskriver motivation, design, användning, och implementering av högre ordning absrruct syntax som en central representation för program, formler, regler, och andra syntaktiska objekt i programmanipulering och andra formella system där matchning och substitution eller enande är central verksamhet. Högre ordning abstrakt syntax innehåller namnbindande information på ett enhetligt och språk generiskt sätt. Därmed fungerar det som en kraftfull länk som integrerar olika verktyg i sådana formella miljöer. Vi har implementerat högre ordning abstrakt syntax, en stödjande matchnings- och föreningsalgoritm, och några klienter i Common Lisp inom ramen för Ergoprojektet vid Carnegie Mellon University.
De grundläggande principerna för Higher-Order Abstract Syntax (HOAS) presenteras i REF.
Higher-order abstract syntax
{'venue': "PLDI '88", 'journal': None, 'mag_field_of_study': ['Computer Science']}