BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
abstract (4)
machin (4)
prolog (2)
order (2)
program (2)

Stem warren$ (all stems)

6 papers:

PADLPADL-2012-BransenMDS #algorithm #attribute grammar
The Kennedy-Warren Algorithm Revisited: Ordering Attribute Grammars (JB, AM, AD, SDS), pp. 183–197.
ICLPICLP-1991-Ait-Kaci #automaton
Warren’s Abstract Machine (HAK), p. 939.
ICLPISLP-1991-BeierleMS #automaton #order #polymorphism
Extending the Warren Abstract Machine to Polymorphic Order-Sorted Resolution (CB, GM, HS), pp. 272–286.
ICLPCLP-1990-ChengER90 #functional #logic #on the #programming
On Warren’s Method for Functional Programming in Logic (MHMC, MHvE, BER), pp. 546–560.
CADECADE-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.
ICLPSLP-1987-TouatiD87 #automaton #empirical
An Empirical Study of the Warren Abstract Machine (HJT, AMD), pp. 114–124.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.