`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: Walters:H=_R=

### Contributed to:

### 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.