`Travelled to:`

1 × France

1 × Israel

1 × Japan

1 × Sweden

1 × United Kingdom

4 × USA

`Collaborated with:`

∅ M.H.M.Cheng J.W.Lloyd D.R.Brough D.S.P.Jr. B.E.Richards

`Talks about:`

program (6) logic (6) interpret (2) function (2) prolog (2) method (2) condit (2) reconstruct (1) polymorph (1) implement (1)

## Person: Maarten H. van Emden

### DBLP: Emden:Maarten_H=_van

### Contributed to:

### Wrote 9 papers:

- ICLP-2006-Emden #composition #logic #semantics
- Compositional Semantics for the Procedural Interpretation of Logic (MHvE), pp. 315–329.
- ICLP-1995-ChengPE #equation #implementation #logic programming #source code
- A Method for Implementing Equational Theories as Logic Programs (MHMC, DSPJ, MHvE), pp. 497–511.
- CLP-1990-ChengER90 #functional #logic #on the #programming
- On Warren’s Method for Functional Programming in Logic (MHMC, MHvE, BER), pp. 546–560.
- JICSCP-1988-Emden88 #polymorphism #type inference
- Conditional Answers for Polymorphic Type Inference (MHvE), pp. 590–603.
- LICS-1987-Emden #first-order #functional #logic #programming #relational
- First-order Predicate Logic as a Common Basis for Relational and Functional Programming (MHvE), p. 179.
- ILPC-1984-EmdenL84 #logic #prolog #re-engineering
- A Logical Reconstruction of Prolog II (MHvE, JWL), pp. 35–40.
- SLP-1984-BroughE84 #data flow #logic #programming
- Dataflow, Flowcharts, and “LUCID”-style Programming in Logic (DRB, MHvE), pp. 252–258.
- ILPC-1982-Emden82 #algorithm #prolog #source code
- An Algorithm for Interpreting Prolog Programs (MHvE), pp. 56–64.
- ICALP-1976-Emden #source code #verification
- Verification Conditions as Programs (MHvE), pp. 99–119.