25,161
edits
Changes
no edit summary
=Selected Publications=
<ref>[http://webhome.cs.uvic.ca/%7Evanemden/downloads.html Downloads MHvE]</ref> <ref>[http://ilk.uvt.nl/icga/journal/docs/References.pdf [ICGA Journal#RefDB|ICGA Reference Database] (pdf)]</ref> <ref>[https://dblp.uni-trier.de/pers/hd/e/Emden:M=_H=_van dblp: M. H. van Emden]</ref> <ref>[https://scholar.google.com/citations?user=C2QJcnoAAAAJ&hl=en Maarten van Emden - Google Scholar Citations]</ref>
==1970 ...==
* [[Maarten van Emden]] ('''1970'''). ''[https://dl.acm.org/citation.cfm?id=362753 Increasing the efficiency of quicksort]''. [[ACM#Communications|Communications of the ACM]], Vol. 13, No. 9 <ref>[https://en.wikipedia.org/wiki/Quicksort Quicksort from Wikipedia]</ref>
* [[Maarten van Emden]], [https://dblp.uni-trier.de/pers/hd/s/Szeredi:P=eacute=ter Péter Szeredi] ('''1988'''). ''[https://www.sciencedirect.com/science/article/pii/B9780934613408500221 Converting AND-Control to OR-Control by Program Transformation]''. [https://www.elsevier.com/books/foundations-of-deductive-databases-and-logic-programming/minker/978-0-934613-40-8 Foundations of Deductive Databases and Logic Programming], [https://en.wikipedia.org/wiki/Morgan_Kaufmann_Publishers Morgan Kaufmann]
==1990 ...==
* [https://dblp.uni-trier.de/pers/hd/c/Cheng:Mantis_H=_M= Mantis H. M. Cheng], [[Maarten van Emden]], [https://dblp.uni-trier.de/pers/hd/r/Richards:B=_E= B. E. Richards] ('''1990'''). ''On Warren's Method for Functional Programming in Logic''. [https://dblp.uni-trier.de/db/conf/iclp/iclp90.html ICLP 1990] <ref>[https://en.wikipedia.org/wiki/David_H._D._Warren [Mathematician#DHDWarren|David H. D. Warren]] ('''1982'''). ''Higer-order extensions to prolog: are they needed?'' [https://aitopics.org/download/classics:C65CF540 pdf]</ref>
* [[Maarten van Emden]] ('''1992'''). ''Rhetoric versus Modernism in Computing''. [https://en.wikipedia.org/wiki/Journal_of_Logic_and_Computation Journal of Logic and Computation], Vol. 2
* [[Maarten van Emden]] ('''1992'''). ''[https://onlinelibrary.wiley.com/doi/abs/10.1002/stvr.4370020304 Structured Inspections of Code]''. [https://dblp.uni-trier.de/db/journals/stvr/stvr2.html Software Testing, Verification & Reliability, Vol. 2]
