BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Germany
1 × USA
Collaborated with:
J.F.T.Kamperman H.Zantema
Talks about:
rewrit (2) machineri (1) implement (1) arithmet (1) abstract (1) support (1) languag (1) exercis (1) algebra (1) system (1)

Person: H. R. Walters

DBLP DBLP: Walters:H=_R=

Contributed to:

RTA 19961996
ASF+SDF 19951995
RTA 19951995
ALP 19901990

Wrote 5 papers:

RTA-1996-WaltersK #automaton #equation #named
EPIC: An Equational Language -Abstract Machine Supporting Tools- (HRW, JFTK), pp. 424–427.
ASF+SDF-1995-KampermanW #compilation #self
The New ASF Compiler — An Exercise in Self-Applicability (JFTK, HRW), pp. 271–293.
RTA-1995-KampermanW #lazy evaluation
Lazy Rewriting and Eager Machinery (JFTK, HRW), pp. 147–162.
RTA-1995-WaltersZ #integer #term rewriting
Rewrite Systems for Integer Arithmetic (HRW, HZ), pp. 324–338.
ALP-1990-Walters #algebra #hybrid #implementation #specification
Hybrid Implementations of Algebraic Specifications (HRW), pp. 40–54.

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.