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:
2006199519901988
1987198419841982
1976Wrote 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.