default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDM. H. van Emden
Person information
- affiliation: University of Victoria, Department of Computer Science
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2019
[i25]M. H. van Emden:
Egyptian multiplication and some of its ramifications. CoRR abs/1901.10961 (2019)- 2018
- [i24]M. H. van Emden:
Beyond Structured Programming. CoRR abs/1810.11673 (2018) - [i23]M. H. van Emden:
Correct by construction. CoRR abs/1812.09411 (2018) - 2015
- [i22]M. H. van Emden:
The lambda mechanism in lambda calculus and in other calculi. CoRR abs/1503.00375 (2015) - [i21]Philip Kelly, M. H. van Emden:
Contributions to the compositional semantics of first-order predicate logic. CoRR abs/1512.06282 (2015) - 2014
- [j24]M. H. van Emden:
Matrix Code. Sci. Comput. Program. 84: 3-21 (2014) - [i20]M. H. van Emden:
Logic programming beyond Prolog. CoRR abs/1412.3480 (2014) - 2013
- [j23]A. Nait Abdallah, M. H. van Emden:
Constraint propagation as information maximization. Artif. Intell. 197: 25-38 (2013) - 2012
- [i19]A. Nait Abdallah, M. H. van Emden:
Constraint Propagation as Information Maximization. CoRR abs/1201.5426 (2012) - [i18]Philip Kelly, M. H. van Emden:
Relational Semantics for Databases and Predicate Calculus. CoRR abs/1202.0474 (2012) - [i17]M. H. van Emden:
Discovering Algorithms with Matrix Code. CoRR abs/1203.2296 (2012) - 2011
- [j22]Maarten H. van Emden:
From Interval Arithmetic to Interval Constraints. Reliab. Comput. 15(2): 144-155 (2011) - [i16]Maarten H. van Emden:
Matrix Code: a Language for the Parallel Development of Verification and Program. CoRR abs/1109.5416 (2011) - 2010
- [i15]Maarten H. van Emden:
Integrating Interval Constraints into Logic Programming. CoRR abs/1002.1422 (2010)
2000 – 2009
- 2008
- [i14]William W. Edmonson, Maarten H. van Emden:
Interval Semantics for Standard Floating-Point Arithmetic. CoRR abs/0810.4196 (2008) - 2007
- [i13]Maarten H. van Emden, Belaid Moa:
The Fundamental Theorems of Interval Analysis. CoRR abs/cs/0701141 (2007) - [i12]Maarten H. van Emden, Belaid Moa, S. C. Somosan:
Functions to Support Input and Output of Intervals. CoRR abs/cs/0703003 (2007) - 2006
- [c20]Maarten H. van Emden, Belaid Moa:
Computational Euclid. CCCG 2006 - [c19]Maarten H. van Emden:
Compositional Semantics for the Procedural Interpretation of Logic. ICLP 2006: 315-329 - [i11]Maarten H. van Emden:
Compositional Semantics for the Procedural Interpretation of Logic. CoRR abs/cs/0602098 (2006) - [i10]H. Ibrahim, Maarten H. van Emden:
Towards Applicative Relational Programming. CoRR abs/cs/0602099 (2006) - [i9]Maarten H. van Emden, S. C. Somosan:
Object-Oriented Modeling of Programming Paradigms. CoRR abs/cs/0603016 (2006) - [i8]Maarten H. van Emden, Belaid Moa:
Computational Euclid. CoRR abs/cs/0606036 (2006) - [i7]Maarten H. van Emden:
Set-Theoretic Preliminaries for Computer Scientists. CoRR abs/cs/0607039 (2006) - 2004
- [j21]Maarten H. van Emden:
On the Significance of Digits in Interval Notation. Reliab. Comput. 10(1): 45-58 (2004) - [i6]Maarten H. van Emden, Belaid Moa:
Propagation by Selective Initialization and Its Application to Numerical Constraint Satisfaction Problems. CoRR cs.OH/0404034 (2004) - 2003
- [i5]Maarten H. van Emden, Belaid Moa:
Using Propagation for Solving Complex Arithmetic Constraints. CoRR cs.NA/0309018 (2003) - 2002
- [c18]Maurice Bruynooghe, Luís Moniz Pereira, Jörg H. Siekmann, Maarten H. van Emden:
A Portrait of a Scientist as a Computational Logician. Computational Logic: Logic Programming and Beyond 2002: 1-4 - [i4]Maarten H. van Emden:
On the Significance of Digits in Interval Notation. CoRR cs.NA/0201015 (2002) - [i3]Maarten H. van Emden:
New Developments in Interval Arithmetic and Their Implications for Floating-Point Standardization. CoRR cs.NA/0210015 (2002) - 2001
- [j20]Timothy J. Hickey
, Qun Ju, Maarten H. van Emden:
Interval arithmetic: From principles to implementation. J. ACM 48(5): 1038-1068 (2001) - [i2]Maarten H. van Emden:
Factored Notation for Interval I/O. CoRR cs.NA/0102023 (2001) - [i1]Maarten H. van Emden:
Computing Functional and Relational Box Consistency by Structured Propagation in Atomic Constraint Systems. CoRR cs.PL/0106008 (2001) - 2000
- [j19]Timothy J. Hickey, Zhe Qju, Maarten H. van Emden:
Interval Constraint Plotting for Interactive Visual Exploration of Implicitly Defined Relations. Reliab. Comput. 6(1): 81-92 (2000)
1990 – 1999
- 1999
- [j18]Maarten H. van Emden:
Algorithmic Power from Declarative Use of Redundant Constraints. Constraints An Int. J. 4(4): 363-381 (1999) - [p3]Maarten H. van Emden:
The Logic Programming Paradigm in Numerical Computation. The Logic Programming Paradigm 1999: 257-276 - 1998
- [c17]Timothy J. Hickey, Maarten H. van Emden, Huan Wu:
A Unified Framework for Interval Constraints and Interval Arithmetic. CP 1998: 250-264 - 1997
- [j17]Maarten H. van Emden:
Value Constraints in the CLP Scheme. Constraints An Int. J. 2(2): 163-183 (1997) - [c16]Maarten H. van Emden:
Canonical extensions as common basis for interval constraints and interval arithmetic. JFPLC 1997: 71-84 - 1995
- [c15]Mantis H. M. Cheng, Douglas Stott Parker Jr., Maarten H. van Emden:
A Method for Implementing Equational Theories as Logic Programs. ICLP 1995: 497-511 - 1993
- [j16]Paul A. Strooper, Maarten H. van Emden:
Describing Symmetrical Structures in Logic. Ann. Math. Artif. Intell. 8(3-4): 301-314 (1993) - [j15]Jimmy Ho-Man Lee, Maarten H. van Emden:
Interval Computation as Deduction in CHIP. J. Log. Program. 16(3): 255-276 (1993) - 1992
- [j14]Maarten H. van Emden:
Editorial: Rhetoric versus Modernism in Computing. J. Log. Comput. 2(5): 551-555 (1992) - [j13]Mantis H. M. Cheng, R. Nigel Horspool, Michael R. Levy, M. H. van Emden:
Compositional Operational Semantics for Prolog Programs. New Gener. Comput. 10(3): 315-334 (1992) - [j12]Maarten H. van Emden:
Structured Inspections of Code. Softw. Test. Verification Reliab. 2(3): 133-153 (1992) - [c14]Jimmy Ho-Man Lee, Maarten H. van Emden:
Adapting CLP to Floating-Point Arithmetic. FGCS 1992: 996-1003 - [c13]Maarten H. van Emden:
Mental Ergonomics as Basis for New-Generation Computer Systems. FGCS 1992: 1149-1156 - 1990
- [c12]Mantis H. M. Cheng, Maarten H. van Emden, B. E. Richards:
On Warren's Method for Functional Programming in Logic. ICLP 1990: 546-560
1980 – 1989
- 1988
- [c11]Mantis H. M. Cheng, Maarten H. van Emden, Jimmy Ho-Man Lee:
Tables as a User Interface for Logic Programs. FGCS 1988: 784-791 - [c10]Maarten H. van Emden:
Conditional Answers for Polymorphic Type Inference. ICLP/SLP 1988: 590-603 - [c9]Mantis H. M. Cheng, Maarten H. van Emden, Paul A. Strooper:
Complete Sets of Frontiers in Logic-Based Program Transformation. META 1988: 283-297 - [p2]Maarten H. van Emden, Péter Szeredi:
Converting AND-Control to OR-Control by Program Transformation. Foundations of Deductive Databases and Logic Programming. 1988: 699-709 - 1987
- [j11]Maarten H. van Emden, Keitaro Yukawa:
Logic Programming with Equations. J. Log. Program. 4(4): 265-288 (1987) - [c8]Maarten H. van Emden:
First-order Predicate Logic as a Common Basis for Relational and Functional Programming (Abstract). LICS 1987: 179 - 1986
- [j10]Maarten H. van Emden:
Quantitative Deduction and its Fixpoint Theory. J. Log. Program. 3(1): 37-53 (1986) - [j9]Maarten H. van Emden, Masaru Ohki, Akikazu Takeuchi:
Spreadsheets with Incremental Queries as a User Interface for Logic Programming. New Gener. Comput. 4(3): 287-304 (1986) - 1985
- [j8]Maarten H. van Emden, M. A. Nait Abdallah:
Top-Down Semantics of Fair Computations of Logic Programs. J. Log. Program. 2(1): 67-75 (1985) - 1984
- [j7]Maarten H. van Emden, John W. Lloyd:
A Logical Reconstruction of Prolog II. J. Log. Program. 1(2): 143-149 (1984) - [c7]Maarten H. van Emden:
Towards a western Fifth-Generation Computer System project. ACM Annual Conference 1984: 298-302 - [c6]Maarten H. van Emden, John W. Lloyd:
A Logical Reconstruction of Prolog II. ICLP 1984: 35-40 - [c5]Derek R. Brough, Maarten H. van Emden:
Dataflow, Flowcharts, and "LUCID"-style Programming in Logic. SLP 1984: 252-258 - [p1]Maarten H. van Emden:
An Interpreting Algorithm for Prolog Programs. Implementations of Prolog 1984: 93-110 - 1982
- [j6]Krzysztof R. Apt, Maarten H. van Emden:
Contributions to the Theory of Logic Programming. J. ACM 29(3): 841-862 (1982) - [c4]Maarten H. van Emden:
An Algorithm for Interpreting Prolog Programs. ICLP 1982: 56-64 - 1981
- [j5]Keith L. Clark, Maarten H. van Emden:
Consequence Verification of Flowcharts. IEEE Trans. Software Eng. 7(1): 52-60 (1981)
1970 – 1979
- 1979
- [j4]Maarten H. van Emden:
Programming with Verification Conditions. IEEE Trans. Software Eng. 5(2): 148-159 (1979) - [c3]Maarten H. van Emden, T. S. E. Maibaum:
Equations Compared with Clauses for Specification of Abstract Data Types. Advances in Data Base Theory 1979: 159-193 - 1977
- [c2]Maarten H. van Emden:
Computation and Deductive Information Retrieval. Formal Description of Programming Concepts 1977: 421-440 - 1976
- [j3]Maarten H. van Emden, Robert A. Kowalski:
The Semantics of Predicate Logic as a Programming Language. J. ACM 23(4): 733-742 (1976) - [c1]Maarten H. van Emden:
Verification Conditions as Programs. ICALP 1976: 99-119 - 1970
- [j2]M. H. van Emden:
Increasing the efficiency of quicksort. Commun. ACM 13(9): 563-567 (1970) - [j1]Maarten H. van Emden:
Algorithms 402: Increasing the efficiency of quicksort. Commun. ACM 13(11): 693-694 (1970)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-09 13:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
