BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Emden:Maarten_H=_van

Contributed to:

ICLP 20062006
ICLP 19951995
ICLP 19901990
ICLP/SPL 19881988
LICS 19871987
ILPC 19841984
SLP 19841984
ILPC 19821982
ICALP 19761976

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.

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.