6 papers:
PADL-2012-BransenMDS #algorithm #attribute grammar- The Kennedy-Warren Algorithm Revisited: Ordering Attribute Grammars (JB, AM, AD, SDS), pp. 183–197.
ICLP-1991-Ait-Kaci #automaton- Warren’s Abstract Machine (HAK), p. 939.
- ISLP-1991-BeierleMS #automaton #order #polymorphism
- Extending the Warren Abstract Machine to Polymorphic Order-Sorted Resolution (CB, GM, HS), pp. 272–286.
- CLP-1990-ChengER90 #functional #logic #on the #programming
- On Warren’s Method for Functional Programming in Logic (MHMC, MHvE, BER), pp. 546–560.
CADE-1988-ButlerLO #automaton #compilation #performance #program transformation #prolog- Notes on Prolog Program Transformations, Prolog Style, and Efficient Compilation to The Warren Abstract Machine (RB, RL, RO), pp. 323–332.
- SLP-1987-TouatiD87 #automaton #empirical
- An Empirical Study of the Warren Abstract Machine (HJT, AMD), pp. 114–124.
